Edit Profile (opens in new tab) Hermann, Miki Co-Author Distance Author ID: hermann.miki Published as: Hermann, Miki; Hermann, Mikuláš; Hermann, M. more...less Further Spellings: Hermann, Nicolas Homepage: https://www.lix.polytechnique.fr/Labo/Miki.Hermann/ External Links: MGP · dblp Documents Indexed: 45 Publications since 1986 1 Contribution as Editor Co-Authors: 30 Co-Authors with 40 Joint Publications 815 Co-Co-Authors all top 5 Co-Authors 6 single-authored 9 Kolaitis, Phokion G. 9 Salzer, Gernot 7 Durand, Arnaud 4 Behrisch, Mike 4 Creignou, Nadia 4 Mengel, Stefan 4 Pichler, Reinhard 3 Juban, Laurent 3 Richoux, Florian 2 Bodirsky, Manuel 2 Chapdelaine, Philippe 2 Gil, Àngel J. 2 Zanuttini, Bruno 1 Bauland, Michael 1 Chepoi, Victor D. 1 Galbavý, Roman 1 Goodall, Andrew J. 1 Hell, Pavol 1 Kirchner, Hélène 1 Kotek, Tomer 1 Krokhin, Andrei A. 1 Makowsky, Johann-Andreas 1 Nevisi, Mayssam Mohammadi 1 Noble, Steven Derek 1 Nordh, Gustav 1 Prívara, Igor 1 Schnoor, Ilka 1 Sertkaya, Barış 1 Vollmer, Heribert 1 Voronkov, Andrei all top 5 Serials 4 Theoretical Computer Science 3 Theory of Computing Systems 2 Information and Computation 1 Discrete Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Lecture Notes in Computer Science all top 5 Fields 45 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 36 Publications have been cited 226 times in 179 Documents Cited by ▼ Year ▼ Complexity of generalized satisfiability counting problems. Zbl 0853.68110 Creignou, Nadia; Hermann, Miki 74 1996 Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033 Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 31 2005 Unification of infinite sets of terms schematized by primal grammars. Zbl 0903.68117 Hermann, Miki; Galbavý, Roman 8 1997 On nontermination of Knuth-Bendix algorithm. Zbl 0594.68037 Hermann, Mikuláš; Prívara, Igor 7 1986 Meta-rule synthesis from crossed rewrite systems. Zbl 1507.68150 Kirchner, Hélène; Hermann, Miki 7 1991 On Boolean primitive positive clones. Zbl 1146.08001 Hermann, Miki 6 2008 Complexity of clausal constraints over chains. Zbl 1141.68034 Creignou, Nadia; Hermann, Miki; Krokhin, Andrei; Salzer, Gernot 5 2008 Give me another one! Zbl 1472.68065 Behrisch, Mike; Hermann, Miki; Mengel, Stefan; Salzer, Gernot 5 2015 Efficient algorithms for constraint description problems over finite totally ordered domains (extended abstract). Zbl 1126.68565 Gil, Ángel J.; Hermann, Miki; Salzer, Gernot; Zanuttini, Bruno 4 2004 On the complexity of computing generators of closed sets. Zbl 1131.68537 Hermann, Miki; Sertkaya, Barış 4 2008 Complexity of default logic on generalized conjunctive queries. Zbl 1149.68418 Chapdelaine, Philippe; Hermann, Miki; Schnoor, Ilka 4 2007 On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631 Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G. 4 1999 The complexity of counting problems in equational matching. Zbl 0854.68043 Hermann, Miki; Kolaitis, Phokion G. 4 1995 On the counting complexity of propositional circumscription. Zbl 1186.68448 Durand, Arnaud; Hermann, Miki 4 2008 An algebraic approach to the complexity of generalized conjunctive queries. Zbl 1122.68407 Bauland, Michael; Chapdelaine, Philippe; Creignou, Nadia; Hermann, Miki; Vollmer, Heribert 4 2005 On the computational complexity of monotone constraint satisfaction problems. Zbl 1211.68218 Hermann, Miki; Richoux, Florian 4 2009 Chain properties of rule closures. Zbl 0703.68066 Hermann, Miki 4 1990 On the complexity of generalized chromatic polynomials. Zbl 1378.05059 Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D. 4 2018 As close as it gets. Zbl 1475.68217 Behrisch, Mike; Hermann, Miki; Mengel, Stefan; Salzer, Gernot 4 2016 The inference problem for propositional circumscription of affine formulas is coNP-complete. Zbl 1035.68115 Durand, Arnaud; Hermann, Miki 4 2003 Counting complexity of propositional abduction. Zbl 1197.68072 Hermann, Miki; Pichler, Reinhard 4 2010 Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514 Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 3 2000 On the relation between primitive recursion, schematization, and divergence. Zbl 0925.03172 Hermann, Miki 3 1992 Complexity of counting the optimal solutions. Zbl 1171.68011 Hermann, Miki; Pichler, Reinhard 3 2009 Efficient algorithms for description problems over finite totally ordered domains. Zbl 1187.68260 Gil, Ángel J.; Hermann, Miki; Salzer, Gernot; Zanuttini, Bruno 3 2008 Unification algorithms cannot be combined in polynomial time. Zbl 1412.68233 Hermann, Miki; Kolaitis, Phokion G. 3 1996 Computational complexity of simultaneous elementary matching problems. Zbl 1193.03027 Hermann, Miki; Kolaitis, Phokion G. 2 1995 The Helly property and satisfiability of Boolean formulas defined on set families. Zbl 1202.68392 Chepoi, Victor; Creignou, Nadia; Hermann, Miki; Salzer, Gernot 2 2010 Counting complexity of minimal cardinality and minimal weight abduction. Zbl 1178.68562 Hermann, Miki; Pichler, Reinhard 2 2008 Complexity of existential positive first-order logic. Zbl 1268.03048 Bodirsky, Manuel; Hermann, Miki; Richoux, Florian 2 2009 Chain properties of rule closures. Zbl 1492.68069 Hermann, Miki 2 1989 Counting partitions of graphs. Zbl 1260.68176 Hell, Pavol; Hermann, Miki; Nevisi, Mayssam Mohammadi 2 2012 Complexity of counting the optimal solutions. Zbl 1148.68381 Hermann, Miki; Pichler, Reinhard 1 2008 On the complexity of recognizing the Hilbert basis of a linear Diophantine system. Zbl 0988.68083 Durand, Arnaud; Hermann, Miki; Juban, Laurent 1 2002 The next whisky bar. Zbl 1475.68136 Behrisch, Mike; Hermann, Miki; Mengel, Stefan; Salzer, Gernot 1 2016 On proving properties of completion strategies. Zbl 1503.68114 Hermann, Miki 1 1991 On the complexity of generalized chromatic polynomials. Zbl 1378.05059 Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D. 4 2018 As close as it gets. Zbl 1475.68217 Behrisch, Mike; Hermann, Miki; Mengel, Stefan; Salzer, Gernot 4 2016 The next whisky bar. Zbl 1475.68136 Behrisch, Mike; Hermann, Miki; Mengel, Stefan; Salzer, Gernot 1 2016 Give me another one! Zbl 1472.68065 Behrisch, Mike; Hermann, Miki; Mengel, Stefan; Salzer, Gernot 5 2015 Counting partitions of graphs. Zbl 1260.68176 Hell, Pavol; Hermann, Miki; Nevisi, Mayssam Mohammadi 2 2012 Counting complexity of propositional abduction. Zbl 1197.68072 Hermann, Miki; Pichler, Reinhard 4 2010 The Helly property and satisfiability of Boolean formulas defined on set families. Zbl 1202.68392 Chepoi, Victor; Creignou, Nadia; Hermann, Miki; Salzer, Gernot 2 2010 On the computational complexity of monotone constraint satisfaction problems. Zbl 1211.68218 Hermann, Miki; Richoux, Florian 4 2009 Complexity of counting the optimal solutions. Zbl 1171.68011 Hermann, Miki; Pichler, Reinhard 3 2009 Complexity of existential positive first-order logic. Zbl 1268.03048 Bodirsky, Manuel; Hermann, Miki; Richoux, Florian 2 2009 On Boolean primitive positive clones. Zbl 1146.08001 Hermann, Miki 6 2008 Complexity of clausal constraints over chains. Zbl 1141.68034 Creignou, Nadia; Hermann, Miki; Krokhin, Andrei; Salzer, Gernot 5 2008 On the complexity of computing generators of closed sets. Zbl 1131.68537 Hermann, Miki; Sertkaya, Barış 4 2008 On the counting complexity of propositional circumscription. Zbl 1186.68448 Durand, Arnaud; Hermann, Miki 4 2008 Efficient algorithms for description problems over finite totally ordered domains. Zbl 1187.68260 Gil, Ángel J.; Hermann, Miki; Salzer, Gernot; Zanuttini, Bruno 3 2008 Counting complexity of minimal cardinality and minimal weight abduction. Zbl 1178.68562 Hermann, Miki; Pichler, Reinhard 2 2008 Complexity of counting the optimal solutions. Zbl 1148.68381 Hermann, Miki; Pichler, Reinhard 1 2008 Complexity of default logic on generalized conjunctive queries. Zbl 1149.68418 Chapdelaine, Philippe; Hermann, Miki; Schnoor, Ilka 4 2007 Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033 Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 31 2005 An algebraic approach to the complexity of generalized conjunctive queries. Zbl 1122.68407 Bauland, Michael; Chapdelaine, Philippe; Creignou, Nadia; Hermann, Miki; Vollmer, Heribert 4 2005 Efficient algorithms for constraint description problems over finite totally ordered domains (extended abstract). Zbl 1126.68565 Gil, Ángel J.; Hermann, Miki; Salzer, Gernot; Zanuttini, Bruno 4 2004 The inference problem for propositional circumscription of affine formulas is coNP-complete. Zbl 1035.68115 Durand, Arnaud; Hermann, Miki 4 2003 On the complexity of recognizing the Hilbert basis of a linear Diophantine system. Zbl 0988.68083 Durand, Arnaud; Hermann, Miki; Juban, Laurent 1 2002 Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514 Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 3 2000 On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631 Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G. 4 1999 Unification of infinite sets of terms schematized by primal grammars. Zbl 0903.68117 Hermann, Miki; Galbavý, Roman 8 1997 Complexity of generalized satisfiability counting problems. Zbl 0853.68110 Creignou, Nadia; Hermann, Miki 74 1996 Unification algorithms cannot be combined in polynomial time. Zbl 1412.68233 Hermann, Miki; Kolaitis, Phokion G. 3 1996 The complexity of counting problems in equational matching. Zbl 0854.68043 Hermann, Miki; Kolaitis, Phokion G. 4 1995 Computational complexity of simultaneous elementary matching problems. Zbl 1193.03027 Hermann, Miki; Kolaitis, Phokion G. 2 1995 On the relation between primitive recursion, schematization, and divergence. Zbl 0925.03172 Hermann, Miki 3 1992 Meta-rule synthesis from crossed rewrite systems. Zbl 1507.68150 Kirchner, Hélène; Hermann, Miki 7 1991 On proving properties of completion strategies. Zbl 1503.68114 Hermann, Miki 1 1991 Chain properties of rule closures. Zbl 0703.68066 Hermann, Miki 4 1990 Chain properties of rule closures. Zbl 1492.68069 Hermann, Miki 2 1989 On nontermination of Knuth-Bendix algorithm. Zbl 0594.68037 Hermann, Mikuláš; Prívara, Igor 7 1986 all cited Publications top 5 cited Publications all top 5 Cited by 259 Authors 23 Hermann, Miki 11 Creignou, Nadia 11 Goldberg, Leslie Ann 9 Pichler, Reinhard 8 Lu, Pinyan 8 Vollmer, Heribert 7 Cai, Jin-Yi 7 Richerby, David M. 6 Behrisch, Mike 6 Durand, Arnaud 6 Dyer, Martin E. 6 Salzer, Gernot 5 Bulatov, Andrei A. 5 Jerrum, Mark R. 5 Jonsson, Peter 5 Makowsky, Johann-Andreas 5 Nordh, Gustav 5 Xia, Mingji 5 Yamakami, Tomoyuki 4 Kolaitis, Phokion G. 4 Lagerkvist, Victor 4 Mengel, Stefan 4 Peltier, Nicolas 3 Guo, Heng 3 Jalsenius, Markus 3 Kotek, Tomer 3 Ravve, Elena V. 3 Skritek, Sebastian 3 Vargas, Edith Mireya 2 Bauland, Michael 2 Bensaid, Hicham 2 Birget, Jean-Camille 2 Boros, Endre 2 Caferra, Ricardo 2 Capelli, Florent 2 Couceiro, Miguel 2 Dalmau, Víctor 2 Dell, Holger 2 Fichte, Johannes Klaus 2 Fu, Zhiguo 2 Galanis, Andreas 2 Göbel, Andreas-Nikolas 2 Gottlob, Georg 2 Haak, Anselm 2 Hecher, Markus 2 Kanté, Mamadou Moustapha 2 Kirchner, Claude 2 Kirchner, Hélène 2 Kröll, Markus 2 Makino, Kazuhisa 2 Marquis, Pierre 2 Mauá, Denis Deratani 2 Mcquillan, Colin 2 Meier, Arne 2 Narendran, Paliath 2 Reith, Steffen 2 Roth, Marc 2 Schnoor, Henning 2 Sertkaya, Barış 2 Strozecki, Yann 2 Thimm, Matthias 2 Tóth, Endre 2 Waldhauser, Tamás 2 Woltran, Stefan 2 Zanuttini, Bruno 2 Živný, Stanislav 1 Aguilera, Gabriel 1 Aït Mohamed, Otmane 1 Aravantinos, Vincent 1 Arenas, Marcelo 1 Aschinger, Markus 1 Asinowski, Andrei 1 Baader, Franz 1 Ballerstein, Kathrin 1 Barbanchon, Régis 1 Barrett, Chris L. 1 Barton, Caroline 1 Ben-Khalifa, Kamel 1 Bendík, Jaroslav 1 Bérczi, Kristóf 1 Bergougnoux, Benjamin 1 Beyersdorff, Olaf 1 Bhattacharyya, Arnab 1 Bodirsky, Manuel 1 Böhler, Elmar 1 Brand, Cornelius 1 Brewka, Gerhard 1 Bringmann, Karl 1 Briquel, Irénée 1 Brown, Jason Ira 1 Bu, Kaifeng 1 Buzmakov, Aleksey 1 Calder, Muffy 1 Carbonnel, Clément 1 Čepek, Ondřej 1 Cerny, Eduard 1 Chapdelaine, Philippe 1 Chen, Hong 1 Chen, Xi 1 Cirstea, Horatiu ...and 159 more Authors all top 5 Cited in 49 Serials 23 Theoretical Computer Science 13 Information and Computation 11 Journal of Computer and System Sciences 11 Theory of Computing Systems 9 Artificial Intelligence 9 Discrete Applied Mathematics 5 SIAM Journal on Computing 4 Information Processing Letters 4 Journal of Symbolic Computation 3 International Journal of Approximate Reasoning 3 Journal of Multiple-Valued Logic and Soft Computing 2 Demonstratio Mathematica 2 Algorithmica 2 Annals of Mathematics and Artificial Intelligence 2 Logical Methods in Computer Science 1 Communications in Mathematical Physics 1 Discrete Mathematics 1 International Journal of General Systems 1 ACM Transactions on Database Systems 1 Algebra Universalis 1 Automatica 1 Fuzzy Sets and Systems 1 Semigroup Forum 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Annals of Pure and Applied Logic 1 Order 1 Discrete & Computational Geometry 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Japan Journal of Industrial and Applied Mathematics 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Aequationes Mathematicae 1 International Journal of Computer Mathematics 1 Linear Algebra and its Applications 1 Bulletin of the American Mathematical Society. New Series 1 RAIRO. Informatique Théorique et Applications 1 The Australasian Journal of Combinatorics 1 Cybernetics and Systems Analysis 1 Constraints 1 Chicago Journal of Theoretical Computer Science 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 ACM Transactions on Computation Theory 1 Enumerative Combinatorics and Applications all top 5 Cited in 21 Fields 156 Computer science (68-XX) 33 Combinatorics (05-XX) 32 Mathematical logic and foundations (03-XX) 13 General algebraic systems (08-XX) 9 Operations research, mathematical programming (90-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Difference and functional equations (39-XX) 2 Convex and discrete geometry (52-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year