People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Strides
SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
Hai Xia
,
Stefan Szeider
PDF
Cite
Project
Project
Project
DOI
Small unsatisfiable k-CNFs with bounded literal occurrence
Tianwei Zhang
,
Tomas Peitl
,
Stefan Szeider
Cite
Project
DOI
Structure-guided Local Improvement for Maximum Satisfiability
André Schidler
,
Stefan Szeider
Cite
Project
Proven optimally-balanced Latin rectangles with SAT
Vaidyanathan Peruvemba Ramaswamy
,
Stefan Szeider
PDF
Cite
Project
Project
DOI
«
Cite
×