Strides

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
PDF Cite Project Project Project DOI
Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach
PDF Cite Project Project DOI
Backdoor DNFs
Cite Project Project DOI
Compilation and Fast Model Counting beyond CNF
Cite Project Project Project DOI
eSLIM: Circuit Minimization with SAT Based Local Improvement
Cite Project DOI
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
PDF Cite Project Project DOI
Learning Small Decision Trees for Data of Low Rank-Width
PDF Cite Project Project Project DOI
Revisiting Causal Discovery from a Complexity-Theoretic Perspective
Cite Project Project Project Project DOI
SAT backdoors: Depth beats size
Cite Project Project Project DOI
SAT-based Decision Tree Learning for Large Data Sets
Cite Project Project