Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Johannes Fichte

Tools: Drucken



Johannes K. Fichte



portrait

Institute Technische Universität Wien
Institute of Information Systems
Database and Artificial Intelligence Group
Address Favoritenstraße 9-11
1040 Wien
Austria
Room HA0302
Mail johannes dot fichte at tuwien dot ac dot at
Phone +43-1-58801-740061
Fax +43-1-58801-9740018

You can find more information in the TISS: Address Book. For courses, see my web page faculty of Informatics.

Office Hours: By appointment (send me an e-mail)

About me

I am a researcher in the Database and Artificial Intelligence Group(DBAI) of the Institute of Information Systems at Technische Universität Wien. Previouly, I was a research fellow in the Simons Institute at UC Berkeley and in the Knowledge Representation and Reasoning Group at TU Dresden. I received my PhD under supervision of Stefan Szeider and co-supervision of Torsten Schaub from TU Wien.

Research Interest

My work interests in computational algorithmics, complexity, and practical applications thereof, including implementations of parameterized algorithms for various combinatorial hard problems. I focus on model counting propositional formulas and various formalisms in AI, the Boolean satisfiablity problem (SAT), and answer-set programming (ASP). I have an industry background in applications of data analysis and evaluation in health care.

Supervision of Bachelor/Master Theses

I am happy to supervise theses of motivated students in topics related to my research area. If you have ideas or questions regarding possible topics, please contact me.

Publications

See also my DPLP Entry and my Google Scholar Profile.

2021

  1. Johannes Klaus Fichte, Markus Hecher, Michael Morak and Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action In Algorithms, 14 (3): 81, 2021.
    [ BibTeX | doi  ]
  2. Johannes Klaus Fichte, Markus Hecher and Arne Meier Knowledge-Base Degrees of Inconsistency: Complexity and Counting In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pages 6349-6357, AAAI Press, 2021.
    [ BibTeX ]
  3. Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh and Anas Shahab Complications for Computational Experiments from Modern Processors In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Volume 210 of LIPIcs, pages 25:1-25:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
    [ BibTeX | doi  ]
  4. Johannes Klaus Fichte, Markus Hecher and Valentin Roland Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Volume 210 of LIPIcs, pages 24:1-24:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
    [ BibTeX | doi  ]
  5. Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood and Arne Meier Decomposition-Guided Reductions for Argumentation and Treewidth In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 1880-1886, ijcai.org, 2021.
    [ BibTeX | doi  ]

2020

  1. Johannes Klaus Fichte, Markus Hecher and Maximilian F. I. Kieler Treewidth-Aware Quantifier Elimination and Expansion for QCSP In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 248-266, Springer, 2020.
    [ BibTeX | doi  ]
  2. Johannes Klaus Fichte, Markus Hecher and Stefan Szeider A Time Leap Challenge for SAT-Solving In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 267-285, Springer, 2020.
    [ BibTeX | doi  ]
  3. Johannes Klaus Fichte, Markus Hecher and Stefan Szeider Breaking Symmetries with RootClique and LexTopSort In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 286-303, Springer, 2020.
    [ BibTeX | doi  ]
  4. Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina and André Schidler Towards Faster Reasoners by Using Transparent Huge Pages In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, Volume 12333 of Lecture Notes in Computer Science, pages 304-322, Springer, 2020.
    [ BibTeX | doi  ]
  5. Johannes Klaus Fichte, Markus Hecher and André Schidler Solving the Steiner Tree Problem with few Terminals In 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pages 293-300, IEEE, 2020.
    [ BibTeX | doi  ]
  6. Johannes Klaus Fichte, Markus Hecher and Andreas Pfandler Lower Bounds for QBFs of Bounded Treewidth In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020, pages 410-424, ACM, 2020.
    [ BibTeX | doi  ]
  7. Johannes Klaus Fichte, Markus Hecher, Patrick Thier and Stefan Woltran Exploiting Database Management Systems and Treewidth for Counting In Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Volume 12007 of Lecture Notes in Computer Science, pages 151-167, Springer, 2020.
    [ BibTeX | doi  ]
  8. Johannes Klaus Fichte, Markus Hecher, Patrick Thier and Stefan Woltran Exploiting Database Management Systems and Treewidth for Counting In CoRR, abs/2001.04191, 2020.
    [ BibTeX ]
  9. Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina and André Schidler Towards Faster Reasoners By Using Transparent Huge Pages In CoRR, abs/2004.14378, 2020.
    [ BibTeX ]
  10. Johannes Klaus Fichte, Markus Hecher and Stefan Szeider A Time Leap Challenge for SAT Solving In CoRR, abs/2008.02215, 2020.
    [ BibTeX ]
  11. Johannes Klaus Fichte, Markus Hecher and André Schidler Solving the Steiner Tree Problem with few Terminals In CoRR, abs/2011.04593, 2020.
    [ BibTeX ]
  12. Johannes Klaus Fichte, Markus Hecher and Florim Hamiti The Model Counting Competition 2020 In CoRR, abs/2012.01323, 2020.
    [ BibTeX ]

2019

  1. Johannes Klaus Fichte, Martin Kronegger and Stefan Woltran A multiparametric view on answer set programming In Ann. Math. Artif. Intell., 86 (1-3): 121-147, 2019.
    [ BibTeX | doi  ]
  2. Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp and Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format In Theory Pract. Log. Program., 19 (5-6): 891-907, 2019.
    [ BibTeX | doi  ]
  3. Johannes Klaus Fichte, Markus Hecher and Arne Meier Counting Complexity for Reasoning in Abstract Argumentation In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, pages 2827-2834, AAAI Press, 2019.
    [ BibTeX | doi  ]
  4. Johannes Klaus Fichte, Markus Hecher and Markus Zisser An Improved GPU-Based SAT Model Counter In Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, Volume 11802 of Lecture Notes in Computer Science, pages 491-509, Springer, 2019.
    [ BibTeX | doi  ]
  5. M. Ayaz Dzulfikar, Johannes Klaus Fichte and Markus Hecher The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper) In 14th International Symposium on Parameterized and Exact Computation, IPEC 2019, September 11-13, 2019, Munich, Germany, Volume 148 of LIPIcs, pages 25:1-25:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
    [ BibTeX | doi  ]
  6. Johannes Klaus Fichte and Markus Hecher Treewidth and Counting Projected Answer Sets In Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, Volume 11481 of Lecture Notes in Computer Science, pages 105-119, Springer, 2019.
    [ BibTeX | doi  ]
  7. Johannes Klaus Fichte and Markus Hecher Treewidth and Counting Projected Answer Sets In CoRR, abs/1903.11316, 2019.
    [ BibTeX ]
  8. Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp and Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format In CoRR, abs/1907.10389, 2019.
    [ BibTeX ]
  9. Johannes Klaus Fichte, Markus Hecher and Andreas Pfandler TE-ETH: Lower Bounds for QBFs of Bounded Treewidth In CoRR, abs/1910.01047, 2019.
    [ BibTeX ]
  10. Jorge Fandinno and Johannes Klaus Fichte Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019 In CoRR, abs/1912.09211, 2019.
    [ BibTeX ]

2018

  1. Johannes Klaus Fichte, Markus Hecher, Neha Lodha and Stefan Szeider An SMT Approach to Fractional Hypertree Width In Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Volume 11008 of Lecture Notes in Computer Science, pages 109-127, Springer, 2018.
    [ BibTeX | doi  ]
  2. Johannes Klaus Fichte, Markus Hecher, Stefan Woltran and Markus Zisser Weighted Model Counting on the GPU by Exploiting Small Treewidth In 26th Annual European Symposium on Algorithms, ESA 2018, August 20-22, 2018, Helsinki, Finland, Volume 112 of LIPIcs, pages 28:1-28:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
    [ BibTeX | doi  ]
  3. Johannes Klaus Fichte and Markus Hecher Exploiting Treewidth for Counting Projected Answer Sets In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pages 639-640, AAAI Press, 2018.
    [ BibTeX ]

Programs and Utils

Checkout my repositories on github.

I am involved in the development of some software utils, including: dpdb and versions thereof, gpusat, frasmt, trellis.

In addition, I work on solver evaluations Time Leap Challenge, Evaluations of Solvers, Model Counting Competition, and Combinatorial Challenges.

Community Activities

Co-Charing

Program Comittee Member

Reviewing of Scientific Publications

I reviewed scientific publications for various venues such as AAAI, AIxIA, AIJ, ASPOCP, CP, ECAI, EPIA, ICLP, IJCAI, JELIA, JLC, KI, KR, LPAR, LPNMR, MFCS, PODS, SAT, STACS, Swarm, WLP.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung