Reinhard Pichler
- General and Fractional Hypertree Decompositions: Hard and Easy Cases
2016/11/03 by Wolfgang Fischl, Georg Gottlob, Fischl, Wolfgang +3 · 1 voice · 2 citations
Computer Science · #Algorithms and Data Compression #Formal Methods in Verification #Machine Learning and Algorithms
- Convergence of Datalog over (Pre-) Semirings
2021/05/30 by Mahmoud Abo Khamis, Khamis, Mahmoud Abo, Hung Q. Ngo +7 · 6 citations
Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Databases (cs.DB) #FOS: Computer and information sciences #Fuzzy Logic and Control Systems #Fuzzy and Soft Set Theory
- A complexity theory for hard enumeration problems
2019/03/06 by Nadia Creignou, Markus Kröll, Reinhard Pichler +2 · 5 citations
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization
- A Complexity Theory for Hard Enumeration Problems
2016/10/18 by Nadia Creignou, Creignou, Nadia, Markus Kröll +7 · 3 citations
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #F.1.3 #FOS: Computer and information sciences #Machine Learning and Algorithms
- Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue
2024/08/03 by Marcelo Arenas, Arenas, Marcelo, Timo Camillo Merkl +5 · 5 citations
Computer Science · #Advanced Database Systems and Queries