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:  FICHTE, JOHANNES K.

Results 1-20 of 36 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte-2023-Communications of the ACM-vor.pdf.jpgFichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan The silent (r)evolution of SATArticle Artikel Jun-2023
2Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021
3Fichte, Johannes ; Hecher, Markus ; McCreesh, Ciaran ; Shahab, Anas Complications for Computational Experiments from Modern ProcessorsKonferenzbeitrag Inproceedings 2021
4Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
5FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
6Fichte, Johannes ; Hecher, Markus ; Mahmood, Yasir ; Meier, Arne Decomposition-Guided Reductions for Argumentation and TreewidthKonferenzbeitrag Inproceedings 2021
7Fichte, Johannes ; Hecher, Markus ; Meier, Arne Knowledge-Base Degrees of Inconsistency: Complexity and CountingKonferenzbeitrag Inproceedings 2021
8Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
9Fichte, Johannes ; Hecher, Markus Counting with Bounded Treewidth: Meta Algorithm and Runtime GuaranteesKonferenzbeitrag Inproceedings 2020
10Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan Breaking Symmetries with RootClique and LexTopSortKonferenzbeitrag Inproceedings 2020
11Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan A Time Leap Challenge for SAT-SolvingKonferenzbeitrag Inproceedings 2020
12Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. Treewidth-Aware Quantifier Elimination and Expansion for QCSPKonferenzbeitrag Inproceedings 2020
13Fichte, Johannes K. ; Hecher, Markus ; Schidler, Andre Solving the Steiner Tree Problem with few TerminalsKonferenzbeitrag Inproceedings 2020
14FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
15Fichte, Johannes ; Hecher, Markus ; Zisser, Markus An Improved GPU-Based SAT Model CounterKonferenzbeitrag Inproceedings 2019
16Fichte, Johannes ; Hecher, Markus Treewidth and Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2019
17Fichte, Johannes ; Hecher, Markus ; Zisser, Markus gpusat2 - An Improved GPU Model CounterKonferenzbeitrag Inproceedings 2019
18Fichte, Johannes K. ; Hecher, Markus ; Meier, Arne Counting Complexity for Reasoning in Abstract ArgumentationKonferenzbeitrag Inproceedings 2019
19ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB Inconsistency Proofs for ASP: The ASP - DRUPE FormatKonferenzbeitrag Inproceedings 2019
20Fichte, Johannes ; Hecher, Markus ; Philipp, Tobias Inconsistency Proofs for ASP: The ASP-DRUPE FormatKonferenzbeitrag Inproceedings 2019