Strides

Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach
Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7-9, 2025, Proceedings, Part II (Michael H. Lees, Wentong Cai, Siew Ann Cheong, Yi Su, David Abramson, Jack J. Dongarra, Peter M. A. Sloot, eds.), volume 15904 of Lecture Notes in Computer Science, pages 35–49, 2025, Springer.
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
Backdoor DNFs
Journal of Computer and System Sciences, volume 144, pages 103547, 2024.
bib 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
eSLIM: Circuit Minimization with SAT Based Local Improvement
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Supratik Chakraborty, Jie-Hong Roland Jiang, eds.), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1–23:14, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
bib Project DOI
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 7978–7986, 2024, AAAI Press.
PDF bib Project Project DOI
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-based Decision Tree Learning for Large Data Sets
Journal of Artificial Intelligence Research, volume 80, pages 875–918, 2024.
bib Project Project