People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
FraSMT
An SMT Approach to Fractional Hypertree Width
Johannes K. Fichte
,
Markus Hecher
,
Stefan Szeider
PDF
Cite
DOI
Cite
×