 On Continuous Local BDD-Based Search for Hybrid SAT SolvingAAAI Conference on Artificial Intelligence (AAAI), 2020 |
 Generalizing Boolean Satisfiability I: Background and Survey of Existing
WorkJournal of Artificial Intelligence Research (JAIR), 2011 |
