Asksat

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 17-22, 5 2025, IEEE.
PDF bib Project Project Project DOI
The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda, ed.), volume 340 of LIPIcs, pages 39:1–39:19, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
A General Theoretical Framework for Learning Smallest Interpretable Models
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 10662–10669, 2024, AAAI Press.
PDF bib Project Project Project DOI
Compilation and Fast Model Counting beyond CNF
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson, ed.), pages 3315–3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
bib Project Project Project DOI
Computing small Rainbow Cycle Numbers with SAT modulo Symmetries
The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw, ed.), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
bib Project
Learning Small Decision Trees for Data of Low Rank-Width
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 10476–10483, 2024, AAAI Press.
PDF bib Project Project Project DOI
Revisiting Causal Discovery from a Complexity-Theoretic Perspective
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson, ed.), pages 3377–3385, 8 2024, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
bib Project Project Project Project DOI
SAT backdoors: Depth beats size
Journal of Computer and System Sciences, volume 142, pages 103520, 2024.
bib Project Project Project DOI
SAT Modulo Symmetries for Graph Generation and Enumeration
ACM Transactions on Computational Logic, volume 25, number 3, 2024.
bib Project DOI
SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 8191–8199, 2024, AAAI Press.
PDF bib Project Project Project DOI