People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Cofund
The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators
Stefan Szeider
PDF
Cite
Project
Project
DOI
Searching for smallest universal graphs and tournaments with SAT
Tianwei Zhang
,
Stefan Szeider
PDF
Cite
Project
Project
DOI
Cite
×