On Continuous Local BDD-Based Search for Hybrid SAT Solving.

Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang

Browse the full AAAI paper archive.