Fichte, Johannes K.

1. A Time Leap Challenge for SAT Solving
   2020/08/05 by Johannes K. Fichte, Fichte, Johannes K., Markus Hecher +3 · 3 voices
   #cs.AI #cs.AR #cs.DS
2. Rushing and Strolling among Answer Sets -- Navigation Made Easy
   2021/12/14 by Fichte, Johannes K., Gaggl, Sarah Alice, Rusovac, Dominik · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Treewidth and Counting Projected Answer Sets
   2019/03/27 by Fichte, Johannes K., Hecher, Markus · 2 citations
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences
4. Solving Projected Model Counting by Utilizing Treewidth and its Limits
   2023/05/30 by Fichte, Johannes K., Hecher, Markus, Morak, Michael +2 · 2 citations
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Databases (cs.DB) #FOS: Computer and information sciences
5. DynASP2.5: Dynamic Programming on Tree Decompositions in Action
   2017/06/28 by Fichte, Johannes K., Hecher, Markus, Morak, Michael +1 · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
6. Counting Complexity for Reasoning in Abstract Argumentation
   2018/11/28 by Fichte, Johannes K., Hecher, Markus, Meier, Arne · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
7. Towards Faster Reasoners By Using Transparent Huge Pages
   2020/04/29 by Fichte, Johannes K., Manthey, Norbert, Stecklina, Julian +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Performance (cs.PF)
8. Strong Backdoors for Default Logic
   2016/02/19 by Fichte, Johannes K., Meier, Arne, Schindler, Irina · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
9. The Model Counting Competitions 2021-2023
   2025/01/31 by Johannes K. Fichte, Markus Hecher, Fichte, Johannes K. +1 · 1 voice
   Computer Science · #Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.DS #cs.LO
10. IASCAR: Incremental Answer Set Counting by Anytime Refinement
    2023/11/13 by Johannes K. Fichte, Fichte, Johannes K., Sarah Alice Gaggl +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques