People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
1
Weighted Model Counting with Twin-Width
Robert Ganian
,
Filip Pokr ́Yvka
,
Andre Schidler
,
Kirill Simonov
,
Stefan Szeider
PDF
Cite
Project
Project
Project
Project
DOI
Approximate Evaluation of First-Order Counting Queries
Jan Niclas Dreier
,
Rossmanith, Peter
PDF
Cite
DOI
Balanced Independent and Dominating Sets on Colored Interval Graphs
Bhore, Sujoy
,
Haunert, Jan-Henrik
,
Klute, Fabian
,
Li, Guangping
,
Martin Nöllenburg
Cite
Project
DOI
Certified DQBF Solving by Definition Extraction
Stefan Szeider
PDF
Cite
Project
DOI
Computing Kemeny Rankings from d-Euclidean Preferences
Thekla Hamm
,
Martin Lackner
,
Anna Rapberger
Cite
Project
Project
Crossing-Optimal Extension of Simple Drawings
Robert Ganian
PDF
Cite
Project
Project
Davis and Putnam Meet Henkin: Solving DQBF with Resolution
Tomas Peitl
PDF
Cite
Project
DOI
Disjoint Box Covering in a Rectilinear Polygon
Bhore, Sujoy
,
Li, Guangping
,
Martin Nöllenburg
,
Wulms, Jules
PDF
Cite
Project
Driver Shift Planning for an Online Store with Short Delivery Times
Matthias Horn
,
Nikolaus Frohner
,
Günther Raidl
PDF
Cite
DOI
Engineering an Efficient Boolean Functional Synthesis Engine
Priyanka Golia and Friedrich Slivovsky and Subhajit Roy and Kuldeep S. Meel
PDF
Cite
Project
DOI
«
»
Cite
×