Using Resolution Proofs to Analyse CDCL Solvers

von Kokkala, Janne I.
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (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)

Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models

von Say, Buser
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Certified Core-Guided MaxSAT Solving

von Berg, Jeremias
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems

von Gocht, Stephan
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)