Asksat

A General Theoretical Framework for Learning Smallest Interpretable Models
Artificial Intelligence, volume 350, pages 104441, 2026.
PDF Cite Project Project Project DOI
Backdoors to Satisfaction Continued
Computer Science Review, volume 60, pages 100868, 2026.
PDF Cite Project DOI
Graph Choosability via SAT: Beyond the Nullstellensatz
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear
Cite Project Project
OBDDs, SDDs, and Circuits of Bounded Width: Completeness Matters
Artificial Intelligence, volume 351, pages 104458, 2026.
PDF Cite Project Project Project DOI
Breaking Symmetries in Quantified Graph Search: A Comparative Study
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA (Toby Walsh and Julie Shah and Zico Kolter), pages 11246-11254, 2025, AAAI Press.
PDF Cite Project Project DOI
Generating Streamlining Constraints with Large Language Models
Journal of Artificial Intelligence Research, volume 84, pages 16:1-16:19, 2025.
Cite Project Project Project
SAT Modulo Symmetries: A Survey
Satisfiability Checking and Symbolic Computation, 10th International Workshop, SC-Square 2025, Stuttgart, Germany, August 2, 2025, co-located with CADE 2025, volume 4116 of CEUR Workshop Proceedings, pages 1-11, 2025, CEUR-WS.org.
PDF Cite Project Project
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 Cite 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), volume 340 of LIPIcs, pages 39:1-39:19, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF Cite 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 and Sriraam Natarajan), pages 10662-10669, 2024, AAAI Press.
PDF Cite Project Project Project DOI