1. A sat-based approach to learn explainable decision sets;Ignatiev,2018
2. Efficient translation of boolean formulas to cnf in formal verification of microprocessors;Velev,2004
3. On probabilistic inference by weighted model counting;Chavira;Artif. Intell.,2008
4. Mathcheck: a math assistant via a combination of computer algebra systems and sat solvers;Zulkoski,2015
5. GRASP: a search algorithm for propositional satisfiability;Marques-Silva;IEEE Trans. Comput.,1999