1

Parameterized Complexity of Efficient Sortation
51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026), 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: to appear
bib Project
PBLean: Pseudo-Boolean Proof Certificates for Lean 4
Proceedings of the 17th Workshop on Pragmatics of SAT, PoS 2026, Lisbon, Portugal, July 19, 2026, co-located with SAT 2026, volume 4289 of CEUR Workshop Proceedings, pages 89–98, 2026, CEUR-WS.org.
PDF bib Project
Perfect Rectangular Tilings with Two Colors
37th International Symposium on Algorithms and Computation, ISAAC 2026, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: to appear
bib Project Project
Point Set Embeddability with List Constraints
Graph Drawing and Network Visualization (GD'26) (Maarten Löffler, Silvia Miksch, eds.), volume 396 of LIPIcs, 2026, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
Note: To appear.
PDF bib Project
Putting Tutte's Counterexample to Tait's Conjecture in Perspective to Hamiltonicity and Non-Hamiltonicity in Certain Planar Cubic Graphs
Proceedings of the 2026 Int. Conference on Network Optimization – INOC 2026 (Bernard Fortz, ed.), pages 17–20, 2026, OpenProceedings.org.
PDF bib DOI
Realizing Planar Linkages in Polygonal Domains
International Workshop on Combinatorial Algorithms (IWOCA'26) (F. Foucaud, A. Parreau, eds.), volume 16587 of LNCS, pages 251–265, 2026, Springer.
bib Project DOI
Reverse-Engineering Constraint Models from CNFs: An Agentic Approach
Proceedings of the 17th Workshop on Pragmatics of SAT, PoS 2026, Lisbon, Portugal, July 19, 2026, co-located with SAT 2026, volume 4289 of CEUR Workshop Proceedings, pages 99–109, 2026, CEUR-WS.org.
PDF bib
Revisiting Graph Modification via Disk Scaling: From One Radius to Interval-Based Radii
European Symposium on Algorithms (ESA'26) (Seth Pettie, Philip Bille, Sabine Storandt, eds.), volume 396 of LIPIcs, 2026, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
Note: To appear.
PDF bib Project
SAT-Based Search for Minwise Independent Families
Parallel Problem Solving from Nature – PPSN XIX (Giovanni Iacca, Giorgia Nadizar, Anil Yaman, Doina Bucur, Antonio Della Cioppa, Ting Hu, Eric Medvet, Sarah L. Thomson, eds.), volume 16985 of LNCS, pages 433–449, 2026, Springer.
PDF bib DOI
Search Space Reduction Through Machine Learning for the Electric Autonomous Dial-A-Ride Problem
Machine Learning, Optimization, and Data Science – LOD 2025, volume 16467 of LNCS, pages 185–200, 2026, Springer.
bib DOI