×
Author ID: hermann.miki Recent zbMATH articles by "Hermann, Miki"
Published as: Hermann, Miki; Hermann, Mikuláš; Hermann, M.
Further Spellings: Hermann, Nicolas
Homepage: https://www.lix.polytechnique.fr/Labo/Miki.Hermann/
External Links: MGP · dblp

Publications by Year

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 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

Citations by Year