Slim

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets
Cite Project Project DOI
Are Hitting Formulas Hard for Resolution?
Cite Project Project DOI
Circuit Minimization with QBF-Based Exact Synthesis
PDF Cite Project Project Project DOI
Co-Certificate Learning with SAT Modulo Symmetries
PDF Cite Project Project DOI
Computing twin-width with SAT and branch & bound
PDF Cite Project Project DOI
IPASIR-UP: User Propagators for CDCL
Cite Project Project DOI
Learning Small Decision Trees with Large Domain
PDF Cite Project Project DOI
On the parameterized complexity of clustering problems for incomplete data
Cite Project Project Project DOI
SAT-Based Generation of Planar Graphs
Cite Project Project DOI
SAT-Boosted Tabu Search for Coloring Massive Graphs
Cite Project Project DOI