Reveal

Tractable Abstract Argumentation via Backdoor-Treewidth
PDF Cite Project Project
Weighted Model Counting with Twin-Width
PDF Cite Project Project Project Project DOI
Finding the Hardest Formulas for Resolution
Cite Project Project DOI
Finding the Hardest Formulas for Resolution (Extended Abstract)
Cite Project Project DOI
Learning fast-inference Bayesian networks
PDF Cite Project Project
New Width Parameters for SAT and Sharp-SAT
PDF Cite Project Project Project DOI
Parameterized Complexity of Small Decision Tree Learning
PDF Cite Project Project
SAT Modulo Symmetries for Graph Generation
Cite Project Project DOI
The Parameterized Complexity of Clustering Incomplete Data
PDF Cite Project Project Project Project
Turbocharging Treewidth-Bounded Bayesian Network Structure Learning
PDF Cite Project Project