Exploiting Database Management Systems and Treewidth for Counting
FICHTE, JOHANNES K., HECHER, MARKUS, THIER, PATRICK, WOLTRAN, STEFAN
Published in Theory and practice of logic programming (01.01.2022)
Published in Theory and practice of logic programming (01.01.2022)
Get full text
Journal Article
DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Fichte, Johannes K., Hecher, Markus, Morak, Michael, Woltran, Stefan
Published in Algorithms (01.03.2021)
Published in Algorithms (01.03.2021)
Get full text
Journal Article
Solving Projected Model Counting by Utilizing Treewidth and its Limits
Fichte, Johannes K., Hecher, Markus, Morak, Michael, Thier, Patrick, Woltran, Stefan
Published in Artificial intelligence (01.01.2023)
Published in Artificial intelligence (01.01.2023)
Get full text
Journal Article
IASCAR: Incremental Answer Set Counting by Anytime Refinement
FICHTE, JOHANNES K., GAGGL, SARAH ALICE, HECHER, MARKUS, RUSOVAC, DOMINIK
Published in Theory and practice of logic programming (01.05.2024)
Published in Theory and practice of logic programming (01.05.2024)
Get full text
Journal Article
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
Fichte, Johannes K., Ganian, Robert, Hecher, Markus, Slivovsky, Friedrich, Ordyniak, Sebastian
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
A multiparametric view on answer set programming
Fichte, Johannes K., Kronegger, Martin, Woltran, Stefan
Published in Annals of mathematics and artificial intelligence (01.07.2019)
Published in Annals of mathematics and artificial intelligence (01.07.2019)
Get full text
Journal Article
Inconsistency Proofs for ASP: The ASP - DRUPE Format
ALVIANO, MARIO, DODARO, CARMINE, FICHTE, JOHANNES K., HECHER, MARKUS, PHILIPP, TOBIAS, RATH, JAKOB
Published in Theory and practice of logic programming (01.09.2019)
Published in Theory and practice of logic programming (01.09.2019)
Get full text
Journal Article
Dual-normal logic programs – the forgotten class
FICHTE, JOHANNES K., TRUSZCZYŃSKI, MIROSŁAW, WOLTRAN, STEFAN
Published in Theory and practice of logic programming (01.07.2015)
Published in Theory and practice of logic programming (01.07.2015)
Get full text
Journal Article
Solving the Steiner Tree Problem with few Terminals
Fichte, Johannes K., Hecher, Markus, Schidler, Andre
Published in 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2020)
Published in 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2020)
Get full text
Conference Proceeding
Default logic and bounded treewidth
Fichte, Johannes K., Hecher, Markus, Schindler, Irina
Published in Information and computation (01.02.2022)
Published in Information and computation (01.02.2022)
Get full text
Journal Article
Counting Complexity for Reasoning in Abstract Argumentation
Fichte, Johannes K., Hecher, Markus, Meier, Arne
Published in The Journal of artificial intelligence research (01.01.2024)
Published in The Journal of artificial intelligence research (01.01.2024)
Get full text
Journal Article
Treewidth and Counting Projected Answer Sets
Fichte, Johannes K., Hecher, Markus
Published in Logic Programming and Nonmonotonic Reasoning (2019)
Published in Logic Programming and Nonmonotonic Reasoning (2019)
Get full text
Book Chapter
A Time Leap Challenge for SAT-Solving
Fichte, Johannes K., Hecher, Markus, Szeider, Stefan
Published in Principles and Practice of Constraint Programming (2020)
Published in Principles and Practice of Constraint Programming (2020)
Get full text
Book Chapter
Proceedings 38th International Conference on Logic Programming: ApproxASP - A Scalable Approximate Answer Set Counter (Extended Abstract)
Kabir, Mohimenul, Everardo, Flavio, Shukla, Ankit, Fichte, Johannes K., Hecher, Markus, Meel, Kuldeep S.
Published in Electronic proceedings in theoretical computer science (04.08.2022)
Published in Electronic proceedings in theoretical computer science (04.08.2022)
Get full text
Journal Article
An Improved GPU-Based SAT Model Counter
Fichte, Johannes K., Hecher, Markus, Zisser, Markus
Published in Principles and Practice of Constraint Programming (2019)
Published in Principles and Practice of Constraint Programming (2019)
Get full text
Book Chapter