Predicting Propositional Satisfiability via End-to-End Learning.

Chris Cameron, Rex Chen, Jason S. Hartford, Kevin Leyton-Brown

Browse the full AAAI paper archive.