People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Compile
SAT-Encodings for Special Treewidth and Pathwidth
Neha Lodha
,
Sebastian Ordyniak
,
Stefan Szeider
PDF
Cite
Project
DOI
Model Checking Existential Logic on Partially Ordered Sets
Simone Bova
,
Robert Ganian
,
Stefan Szeider
Cite
Project
DOI
Cite
×