2 works on record
Automated Reasoning
2024
Theory and Applications of Satisfiability Testing -- SAT 2015