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]
@article{BeyersdorffBGNO22, title = {Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)}, author = {Olaf Beyersdorff and Armin Biere and Vijay Ganesh and Jakob Nordström and Andy Oertel}, year = {2022}, month = {October}, doi = {10.4230/DagRep.12.10.84}, url = {https://doi.org/10.4230/DagRep.12.10.84}, researchr = {https://researchr.org/publication/BeyersdorffBGNO22}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {12}, number = {10}, pages = {84-105}, }