1

Proven optimally-balanced Latin rectangles with SAT
Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap, ed.), volume 280 of LIPIcs, pages 48:1–48:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
Pseudorandom Finite Models
LICS, pages 1–13, 2023.
PDF bib DOI
SAT-Based Generation of Planar Graphs
The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan, Friedrich Slivovsky, eds.), volume 271 of LIPIcs, pages 14:1–14:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
bib Project Project DOI
Searching for smallest universal graphs and tournaments with SAT
Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap, ed.), volume 280 of LIPIcs, pages 39:1–39:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth
31st Annual European Symposium on Algorithms, ESA 2023, September 4-6, 2023, Amsterdam, The Netherlands (Inge Li Gørtz, Martin Farach-Colton, Simon J. Puglisi, Grzegorz Herman, eds.), volume 274 of LIPIcs, pages 18:1–18:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project DOI
Splitting Plane Graphs to Outerplanarity
Algorithms and Computation (WALCOM'23) (Bertrand M. T. Lin, Chun-Cheng Lin, Giuseppe Liotta, eds.), volume 13973 of LNCS, 2023, Springer.
PDF bib Project DOI
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1–14, 2023.
PDF bib Project DOI
The Computational Complexity of Concise Hypersphere Classification
Proceedings of the 40th International Conference on Machine Learning, ICML 2023, pages 9060–9070, 2023, PMLR.
PDF bib Project Project Project
The Influence of Dimensions on the Complexity of Computing Decision Trees
Conference on Artificial Intelligence (AAAI'23) (Brian Williams, Yiling Chen, Jennifer Neville, eds.), pages 8343–8350, 2023, AAAI Press.
bib Project DOI
The Parameterized Complexity of Coordinated Motion Planning
39th International Symposium on Computational Geometry, SoCG 2023, June 12-15, 2023, Dallas, Texas, USA (Erin W. Chambers, Joachim Gudmundsson, eds.), volume 258 of LIPIcs, pages 28:1–28:16, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI