Asksat

Computing small Rainbow Cycle Numbers with SAT modulo Symmetries
Cite Project
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 Modulo Symmetries for Graph Generation and Enumeration
Cite Project DOI
SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
PDF Cite Project Project Project DOI