0

29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20–23, 2026
volume 377 of LIPIcs, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib
Efficient reversal of transductions of sparse graph classes
PDF bib
Pairwise Reflection Symmetry in Generalized Latin Rectangles

Note: arXiv:2606.28315 [cs.DM]

bib DOI
Algorithms for Satisfiability Testing
9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn.
bib
47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria
volume 241 of LIPIcs, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib
Computing Treewidth with Constraint Programming
pages 115–126, 9 2022, SKILL 2022, Gesellschaft für Informatik, Bonn.
PDF bib
A Large Neighborhood Search for Distributing Service Points in Mobility Applications with Capacities and Limited Resources
09 2020, Presentation, CPAIOR2020.
PDF bib
Portfolio Solvers for QDIMACS and QCIR

Note: QBF Evaluation at SAT

bib
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)
volume 7 of Dagstuhl Reports, 2017.
PDF bib DOI
Proc. 24th International Symposium on Graph Drawing and Network Visualization (GD'16)
volume 9801 of LNCS, 2016, Springer International Publishing.
bib DOI