START

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Publications

Filter:
Author:  HECHER, MARKUS
Author:  FICHTE, JOHANNES K.
Date Issued:  2020

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
2Fichte, Johannes ; Hecher, Markus Counting with Bounded Treewidth: Meta Algorithm and Runtime GuaranteesKonferenzbeitrag Inproceedings 2020
3Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan Breaking Symmetries with RootClique and LexTopSortKonferenzbeitrag Inproceedings 2020
4Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan A Time Leap Challenge for SAT-SolvingKonferenzbeitrag Inproceedings 2020
5Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. Treewidth-Aware Quantifier Elimination and Expansion for QCSPKonferenzbeitrag Inproceedings 2020
6Fichte, Johannes K. ; Hecher, Markus ; Schidler, Andre Solving the Steiner Tree Problem with few TerminalsKonferenzbeitrag Inproceedings 2020
7FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020