Fichte, Johannes Klaus

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Ass. Dipl.-Inf. Dr.rer.nat.
 
Full name Familienname, Vorname
Fichte, Johannes Klaus
 
Main Affiliation Organisations­zuordnung
 
ORCID

Own Publications Eigene Publikationen

Results 1-20 of 39 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fichte, Johannes Klaus ; Gaggl, Sarah Alice ; Hecher, Markus ; Rusovac, Dominik IASCAR: Incremental Answer Set Counting by Anytime RefinementInproceedings Konferenzbeitrag Sep-2022
2Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-2022
3Fichte, Johannes K. ; Hecher, Markus ; Nadeem, Mohamed A. ; De Raedt, Lud Plausibility Reasoning via Projected Answer Set Counting - A Hybrid ApproachInproceedings Konferenzbeitrag Jul-2022
4Dewoprabowo, Ridhwan ; Fichte, Johannes Klaus ; Gorczyca, Piotr Jerzy ; Hecher, Markus A Practical Account into Counting Dung's Extensions by Dynamic ProgrammingInproceedings Konferenzbeitrag 2022
5Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021
6Fichte, Johannes ; Hecher, Markus ; McCreesh, Ciaran ; Shahab, Anas Complications for Computational Experiments from Modern ProcessorsKonferenzbeitrag Inproceedings 2021
7Fichte, Johannes ; Hecher, Markus ; Mahmood, Yasir ; Meier, Arne Decomposition-Guided Reductions for Argumentation and TreewidthKonferenzbeitrag Inproceedings 2021
8Fichte, Johannes ; Hecher, Markus ; Meier, Arne Knowledge-Base Degrees of Inconsistency: Complexity and CountingKonferenzbeitrag Inproceedings 2021
9Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
10Fichte, Johannes K. ; Hecher, Markus ; Hamiti, Florim The Model Counting Competition 2020Artikel Article 2021
11FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
12Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
13Fichte, Johannes ; Hecher, Markus ; Lodha, Neha ; Szeider, Stefan ; Hooker, John An SMT Approach to Fractional Hypertree WidthKonferenzbeitrag InproceedingsAug-2018
14Hecher, Markus ; Fichte, Johannes Exploiting Treewidth for Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2018
15Fichte, Johannes K. ; Hecher, Markus ; Schindler, Irina Default Logic and Bounded TreewidthKonferenzbeitrag Inproceedings 2018
16Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
17Fichte, Johannes ; Hecher, Markus Exploiting Treewidth for Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2018
18Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
19Fichte, Johannes ; Szeider, Stefan ; Bogaerts, Bart ; Harrison, Amelia Backdoor Trees for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
20Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan ; Balduccini, Marcello ; Janhunen, Tomi Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Schidler Andre - 2018 - A solver for the Steiner tree problem with few terminals.pdf.jpgSchidler, André A solver for the Steiner tree problem with few terminalsThesis Hochschulschrift 2018
2Zisser Markus - 2018 - Solving the SAT problem on the GPU with dynamic...pdf.jpgZisser, Markus Solving the #SAT problem on the GPU with dynamic programming and OpenCLThesis Hochschulschrift 2018