1. Polynomial calculus for MaxSAT;Bonacina,2023
2. On the power of clause-learning SAT solvers as resolution engines;Pipatsrisawat;Artif. Intell.,2011
3. Clause-learning algorithms with many restarts and bounded-width resolution;Atserias,2009
4. Handbook of Satisfiability - Second Edition,2021
5. On tackling the limits of resolution in SAT solving;Ignatiev,2017