( en | de | ru )

 

Disambiguation of "Hébrard, Jean-Jacques"

Author of the publication

copydeleteadd this publication to your clipboard
An efficient algorithm for Horn description.

, and . Inf. Process. Lett., 88 (4): 177-182 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Jacques Pireaux

Jean-Jacques Clavadetscher

Jean-Jacques Aubert

Jean-Jacques Lasserre

Jean-Jacques Masson

 

Other publications of authors with the same name

Calcul de La Distance Par Les Sous-Mots., and . RAIRO Theor. Informatics Appl., 20 (4): 441-456 (1986)The Horn Basis of a Set of Clauses., and . J. Log. Program., 34 (1): 59-66 (1998)On Generating All Solutions of Generalized Satisfiability Problems., and . RAIRO Theor. Informatics Appl., 31 (6): 499-511 (1997)A Linear Algorithm for Renaming a Set of Clauses as a Horn Set.. Theor. Comput. Sci., 124 (2): 343-350 (1994)Unique Horn Renaming an Unique 2-Satisfiability.. Inf. Process. Lett., 54 (4): 235-239 (1995)A Direct Algorithm to Find a Largest Common Connected Induced Subgraph of Two Graphs., and . GbRPR, volume 3434 of Lecture Notes in Computer Science, page 162-171. Springer, (2005)An Algorithm for Distinguishing Efficiently Bit-Strings by their Subsequences.. Theor. Comput. Sci., 82 (1): 35-49 (1991)Strategies for Modal Resolution: Results and Problems., , and . J. Autom. Reason., 6 (1): 1-38 (1990)Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas., and . Ann. Math. Artif. Intell., 37 (3): 251-272 (2003)