Improving First-order Model Searching by Propositional Reasoning and Lemma Learning.

Zhuo Huang, Hantao Zhang, Jian Zhang

Browse the full SAT paper archive.