MaxSAT Resolution and Subcube Sums

von Filmus, Yuval
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Simplified and Improved Separations Between Regular and General Resolution by Lifting

von Vinyals, Marc
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers

von Li, Chunxiao
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

On the Hierarchical Community Structure of Practical Boolean Formulas

von Li, Chunxiao
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)