Vollmer, Heribert

1. 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
2. Paradigms for Parameterized Enumeration
   2013/06/10 by Nadia Creignou, Arne Meier, Creignou, Nadia +7 · 2 citations
   Computer Science · #03D15 #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO #msc:03D15
3. The descriptive complexity approach to LOGCFL
   1998/09/28 by Clemens Lautemann, Lautemann, Clemens, Pierre McKenzie +5 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #F.1.3 #FOS: Computer and information sciences #cs.CC
4. The Tractability of Model-Checking for LTL: The Good, the Bad, and the\n Ugly Fragments
   2008/05/05 by Michael Bauland, Martin Mundhenk, Bauland, Michael +9 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. Complexity of Non-Monotonic Logics
   2010/09/10 by Michael Thomas, Thomas, Michael, Heribert Vollmer +1 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.CC #cs.LO
6. Complexity Results for Modal Dependence Logic
   2011/04/04 by Peter Lohmann, Heribert Vollmer, Lohmann, Peter +1 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #F.2.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO
7. Equivalence and Isomorphism for Boolean Constraint Satisfaction
   2002/02/25 by E. Boehler, Edith Hemaspaandra, Boehler, E. +6 · 1 citation
   Computer Science · Engineering · #Advanced Graph Theory Research #Constraint Satisfaction and Optimization #Scheduling and Optimization Algorithms #cs.CC #cs.LO
8. A Van Benthem Theorem for Modal Team Semantics
   2014/10/24 by Juha Kontinen, Kontinen, Juha, Julian-Steffen Müller +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
9. Graph Neural Networks and Arithmetic Circuits
   2024/02/27 by Barlag, Timon, Holzapfel, Vivian, Strieker, Laura +2 · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #F.1.1 #F.1.3 #FOS: Computer and information sciences #I.2.m #Machine Learning (cs.LG)