Predicting Satisfiability via End-to-End Learning

Abstract

This webpage contains supplementary material for our AAAI 2020 publication.

People

• Chris Cameron,  Ph.D. student, University of British Columbia.
• Rex Chen,  Undergrad student, University of British Columbia.
• Jason Hartford,  Ph.D. student, University of British Columbia.
• Kevin Leyton-Brown,  Professor, University of British Columbia.

Software

[Github Repository]

Papers

• Chris Cameron, Rex Chen, Jason Hartford,, Kevin Leyton-Brown
  Predicting Satisfiability via End-to-End Learning
  In Association for the Advancement of Artificial Intelligence (AAAI), 2020.
  [pdf]
  [appendix]

data

[data]