- M. Hermann
and
G. Salzer
Efficient Implementation of 2SAT Formula Learning over Finite Totally Ordered Domains
17th International Conference on Multi-disciplinary Trends in Artificial Intelligence
(
MIWAI 2024), Pattaya, Thailand,
DOI:
10.1007/978-981-96-0692-4_17
- A. Bouhoula
and
M. Hermann
Primal Grammars Driven Automated Induction
33rd International Joint Conference on Artificial Intelligence
(
IJCAI 2024), Jeju Island, South Korea,
DOI:
10.24963/ijcai.2024/361
- M. Hermann
and
G. Salzer
MCP: Capturing Big Data by Satisfiability
24th International Conference on Theory and Applications of Satisfiability Testing
(
SAT 2021), Barcelona (Spain),
DOI:
10.1007/978-3-030-80223-3_14
- M. Hermann
How to Find the Exit from a 3-Dimensional Maze
19th International Symposium on Experimental Algorithms
(
SEA 2021), Nice (France),
DOI:
10.4230/LIPIcs.SEA.2021.21
- M. Behrisch,
M. Hermann,
S. Mengel,
and
G. Salzer
The Next Whisky Bar
11th International Computer Science Symposium in Russia
(
CSR 2016), St. Petersburg (Russia),
DOI:
10.1007/978-3-319-34171-2_4
- M. Behrisch,
M. Hermann,
S. Mengel,
and
G. Salzer
As Close as It Gets
10th International Workshop on Algorithms and Computation
(
WALCOM 2016), Kathmandu (Nepal),
DOI:
10.1007/978-3-319-30139-6_18
- M. Behrisch,
M. Hermann,
S. Mengel,
and
G. Salzer
Give me another one!
26th International Symposium on Algorithms and Computation
(
ISAAC 2015), Nagoya (Japan),
DOI:
10.1007/978-3-662-48971-0_56
- P. Hell,
M. Hermann,
and
M. Mohammadi Nevisi
Counting partitions of graphs
23rd International Symposium on Algorithms and Computation
(
ISAAC 2012), Taipei (Taiwan),
DOI:
10.1007/978-3-642-35261-4_26
- M. Hermann
and
F. Richoux
On the complexity of fuzzy boolean constraint satisfaction problems with applications to intelligent digital photography
3rd IEEE Pacific-Asia Conference on Circuits, Communications,
and Systems (PACCS 2011),
Wuhan (China),
July 2011.
DOI:
10.1109/PACCS.2011.5990158
- A. Durand,
M. Hermann,
and
G. Nordh
Trichotomy in the complexity of minimal inference
24th Annual IEEE Symposium on Logic in Computer Science
(
LICS 2009),
Los Angeles (California, USA),
DOI:
10.1109/LICS.2009.14
- M. Bodirsky,
M. Hermann,
and
F. Richoux
Complexity of existential positive first-order logic
In K. Ambos-Spies, B. Löwe, and W. Merkle, editors,
5th International Conference on Computability in Europe
(
CiE
2009), Heidelberg (Germany),
DOI:
10.1007/978-3-642-03073-4_4
- M. Hermann
and
F. Richoux
On the computational complexity of monotone constraint satisfaction problems
In S. Das and R. Uehara, editors,
3rd Annual Workshop on Algorithms and Computation (
WALCOM
2009),
Kolkata (India),
DOI:
10.1007/978-3-642-00202-1_25
- M. Hermann
and
R. Pichler
Counting complexity of minimal cardinality and minimal weight abduction
In S. Hölldobler, C. Lutz, and H. Wansing, editors,
11th European
Conference on Logics in Artificial Intelligence
(
JELIA 2008),
Dresden (Germany),
DOI:
10.1007/978-3-540-87803-2_18
- M. Hermann
and
F. Richoux
Sur la complexité
algorithmique des problèmes de satisfaction de contraintes
disjonctifs
4e Journées Francophones de
Programmation par Contraintes (
JFPC 2008),
Nantes (France),
- M. Hermann
and
R. Pichler
Complexity of counting the optimal solutions
In X. Hu and J. Wang, editors,
14th International Conference on Computing and Combinatorics
(
COCOON 2008),
Dalian (China),
DOI:
10.1007/978-3-540-69733-6_16
- V. Chepoi,
N. Creignou, M. Hermann, and
G. Salzer
Deciding the
satisfiability of propositional formulas in
finitely-valued signed logics
In G. W. Dueck, editor,
38th International Symposium on Multiple Valued Logic
(
ISMVL 2008),
Dallas (Texas, USA),
DOI:
10.1109/ISMVL.2008.41
- M. Hermann and
B. Sertkaya
On the complexity of
computing generators of closed sets
In R. Medina and S. Obiedkov, editors,
6th International Conference on Formal Concept Analysis
(
ICFCA 2008),
Montreal (Canada),
DOI: 10.1007/978-3-540-78137-0_12
- Ph. Chapdelaine, M. Hermann, and I. Schnoor
Complexity of default logic
on generalized conjunctive queries
In Ch. Baral, G. Brewka, and J. Schlipf, editors,
9th International Conference on Logic
Programming and Nonmonotonic Reasoning
(
LPNMR 2007),
Tempe (Arizona, USA),
DOI: 10.1007/978-3-540-72200-7_7
- M. Hermann and R. Pichler
Counting complexity of propositional abduction
In M. M. Veloso, editor,
20th International Joint Conference on
Artificial Intelligence (
IJCAI 2007),
Hyderabad (India),
- A. J. Gil, M. Hermann,
G. Salzer,
and B. Zanuttini
Efficient algorithms for
constraint description problems over
finite totally ordered domains (extended abstract)
In D. Basin and M. Rusinowitch, editors,
2nd International
Joint Conference on Automated Reasoning
(
IJCAR'04),
Cork (Ireland),
DOI: 10.1007/b98691
-
M. Bauland, P. Chapdelaine, N. Creignou, M. Hermann, and H. Vollmer
An algebraic approach to
the complexity of generalized conjunctive queries
In H. H. Hoos and D. G. Mitchell, editors,
7th International
Conference on Theory and Applications of Satisfiability Testing,
(
SAT 2004),
Vancouver (British Columbia, Canada),
DOI: 10.1007/11527695_3
- A. Durand and
M. Hermann
The inference problem for propositional circumscription of
affine formulas is coNP-complete
In H. Alt and M. Habib, editors,
20th Symposium on Theoretical Aspects of Computer Science
(
STACS 2003),
Berlin (Germany),
DOI: 10.1007/3-540-36494-3_40
- A. Durand,
M. Hermann, and P.G. Kolaitis
Subtractive reductions and complete problems for counting
complexity classes
In M. Nielsen and B. Rovan, editors,
25th International Symposium on Mathematical Foundations
of Computer Science (
MFCS
2000), Bratislava (Slovakia),
DOI: 10.1007/3-540-44612-5_28
- M. Hermann, L. Juban, and P.G. Kolaitis
On the complexity of counting the Hilbert basis of a linear Diophantine system
In H. Ganzinger, D. McAllester, and A. Voronkov, editors,
6th International Conference on Logic for Programming and Automated Reasoning (
LPAR'99), Tbilisi (Georgia),
Abstract
DOI: 10.1007/3-540-48242-3_2
- A. Durand, M. Hermann, and L. Juban
On the complexity of recognizing the Hilbert basis of a linear Diophantine system
In M. Kutyłowski, L. Pacholski, and T. Wierzbicki, editors,
24th International Symposium on Mathematical Foundations of Computer Science (
MFCS'99), Szklarska Poreba (Poland),
Proofs in appendix
DOI: 10.1007/3-540-48340-3_9
- M. Hermann and G. Salzer
On the word, subsumption, and complement problem for recurrent term schematizations
In L. Brim, J. Gruska, and J. Zlatuška, editors,
23rd International Symposium on Mathematical Foundations of Computer Science
(
MFCS'98),
Brno (Czech Republic),
DOI: 10.1007/BFb0055775
- M. Hermann and P.G. Kolaitis
On the complexity of unification and disunification in commutative idempotent semigroups
In G. Smolka, editor,
3rd International Conference on Principles and Practice of Constraint Programming (
CP'97), Linz (Austria),
DOI: 10.1007/BFb0017446
- A. Amaniss, M. Hermann, and D. Lugiez
Set operations for recurrent term schematizations
In M. Bidoit and M. Dauchet, editors,
7th International Joint Conference on Theory and Practice of Software Development (
TAPSOFT'97), Lille (France),
DOI: 10.1007/BFb0030608
- M. Hermann and P.G. Kolaitis
Unification algorithms cannot be combined in polynomial time
In M.A. McRobbie and J.K. Slaney, editors,
13th International Conference on
Automated Deduction (CADE'96), New Brunswick, NJ (USA),
volume 1104 of Lecture Notes in Computer Science (in Artificial Intelligence), pages 246-260. Springer-Verlag, July/August
1996.
DOI: 10.1007/3-540-61511-3_89
- M. Hermann and P.G. Kolaitis
Computational complexity of simultaneous elementary matching problems
In J. Wiedermann and P. Hájek, editors,
20th International Symposium on Mathematical Foundations of
Computer Science (MFCS'95), Prague (Czech Republic),
volume 969 of Lecture Notes in Computer Science, pages
359-370. Springer-Verlag,
August/September 1995.
DOI: 10.1007/3-540-60246-1_142
- M. Hermann and P.G. Kolaitis
The complexity of counting problems in equational matching
In A. Bundy, editor,
12th International Conference on Automated
Deduction (CADE'94), Nancy, (France),
volume 814 of Lecture
Notes in Computer Science (in Artificial Inteligence),
pages 560-574. Springer-Verlag, June
1994.
DOI: 10.1007/3-540-58156-1_41
- M. Hermann
On the relation between primitive recursion, schematization, and divergence
In H. Kirchner and G. Levi, editors,
3rd Conference on Algebraic and Logic
Programming (ALP'92), Volterra (Italy),
volume 632 of Lecture Notes in Computer Science, pages
115-127. Springer-Verlag,
September 1992.
DOI: 10.1007/BFb0013823
- M. Hermann
On proving properties of completion strategies
In R.V. Book, editor,
4th Conference on
Rewriting Techniques and Applications (RTA'91), Como (Italy),
volume 488 of Lecture Notes in Computer Science, pages
398-410. Springer-Verlag,
April 1991.
DOI: 10.1007/3-540-53904-2_113
- H. Kirchner and M. Hermann
Meta-rule synthesis from crossed rewrite systems
In S. Kaplan and M. Okada, editors,
2nd International Workshop on Conditional
and Typed Rewriting Systems (CTRS'90), Montreal (Canada),
volume 516 of Lecture Notes in Computer Science, pages
143-154. Springer-Verlag,
June 1990.
DOI: 10.1007/3-540-54317-1_87
- M. Hermann
Vademecum of divergent term rewriting systems
Avancées en Programation,
Journées AFCET-GROPLAN, Nice (France),
volume 70, pages 148-164. BIGRE, January 1990.
- M. Hermann
Chain properties of rule closures
In B. Monien and R. Cori, editors,
6th Annual
Symposium on Theoretical Aspects of Comupter Science (STACS'89),
Paderborn (Germany),
volume 349 of Lecture Notes in
Computer Science, pages 339-347. Springer-Verlag, February
1989.
DOI: 10.1007/BFb0028997
- M. Hermann and I. Prívara
On nontermination of Knuth-Bendix algorithm
In L. Kott, editor,
13th International Conference on Automata
Languages and Programming (ICALP'86), Rennes (France),
volume 226 of Lecture Notes in Computer Science, pages
146-156. Springer-Verlag,
July 1986.
DOI: 10.1007/3-540-16761-7_64