Coe

Gateways to Tractability for Satisfiability in Pearl’s Causal Hierarchy
Proceedings of the 43rd International Conference on Machine Learning, ICML 2026, 2026, PMLR.
Note: to appear
bib Project Project
LLM-Guided Graph Generation for Structure-Based Local Improvement Methods
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear; preprint: CoRR abs/2608.13333, https://arxiv.org/abs/2608.13333
bib Project Project Project
LLM-Guided Semantic Vtrees for SDD Compilation
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear
bib Project
Makespan Minimization in Split Learning: From Theory to Practice
IEEE INFOCOM 2026 - IEEE Conference on Computer Communications, Tokyo, Japan, May 18-21, 2026, pages 1–10, 2026, IEEE.
PDF bib Project Project DOI
Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity
Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026 (Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds.), pages 19108–19116, 2026, AAAI Press.
PDF bib Project Project DOI
MaxSAT-Based Compression for Tsetlin Machines
Proceedings of the 43rd International Conference on Machine Learning, ICML 2026, July 6–11, 2026, Seoul, South Korea, 2026.
Note: To appear
bib Project Project
Neurosymbolic Discovery of Algebraic Graph Constructions
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear; preprint: CoRR abs/2608.08118, https://arxiv.org/abs/2608.08118
bib Project Project
Routing few robots in a crowded network
J. Comput. Syst. Sci., volume 157, pages 103753, 2026.
PDF bib Project Project Project DOI
Smart Cubing for Graph Search: A Comparative Study
32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 33:1–33:19, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
PDF bib Project Project Project Project DOI
Streamliners for Answer Set Programming
Proceedings 42nd International Conference on Logic Programming, ICLP 2026, Lisbon, Portugal, 20-23rd July 2026 (Wolfgang Faber, Laura Giordano, Ricardo Rocha, Vítor Santos Costa, eds.), volume 450 of EPTCS, pages 236–255, 2026.
Note: Preprint: CoRR abs/2604.19251, https://arxiv.org/abs/2604.19251
PDF bib Project Project DOI