Jean-Jacques Hébrard

Publication Activity (10 Years)

Years Active: 1986-2005
Publications (10 Years): 0

Publications

Bertrand Cuissart, Jean-Jacques Hébrard
A Direct Algorithm to Find a Largest Common Connected Induced Subgraph of Two Graphs. GbRPR (2005)
Jean-Jacques Hébrard, Bruno Zanuttini
An efficient algorithm for Horn description. Inf. Process. Lett. 88 (4) (2003)
Emmanuel Benoist, Jean-Jacques Hébrard
Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas. Ann. Math. Artif. Intell. 37 (3) (2003)
Bruno Zanuttini, Jean-Jacques Hébrard
A unified framework for structure identification. Inf. Process. Lett. 81 (6) (2002)
Bertrand Cuissart, Bruno Crémilleux, Jean-Jacques Hébrard, Frédérique Touffet
Prédiction de la biodégradabilité des composés chimiques : un apport des méthodes d'arbre de décision. EGC (2001)
Jean-Jacques Hébrard, Philippe Luquet
The Horn Basis of a Set of Clauses. J. Log. Program. 34 (1) (1998)
Nadia Creignou, Jean-Jacques Hébrard
On Generating All Solutions of Generalized Satisfiability Problems. RAIRO Theor. Informatics Appl. 31 (6) (1997)
Jean-Jacques Hébrard
Unique Horn Renaming an Unique 2-Satisfiability. Inf. Process. Lett. 54 (4) (1995)
Jean-Jacques Hébrard
A Linear Algorithm for Renaming a Set of Clauses as a Horn Set. Theor. Comput. Sci. 124 (2) (1994)
Jean-Jacques Hébrard
An Algorithm for Distinguishing Efficiently Bit-Strings by their Subsequences. Theor. Comput. Sci. 82 (1) (1991)
Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard
Strategies for Modal Resolution: Results and Problems. J. Autom. Reason. 6 (1) (1990)
Jean-Jacques Hébrard, Maxime Crochemore
Calcul de La Distance Par Les Sous-Mots. RAIRO Theor. Informatics Appl. 20 (4) (1986)