Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel. Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411). Dagstuhl Reports, 12(10):84-105, October 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.