Jean-Jacques Hébrard

Available identifiers

Publication	Date of Publication	Type
An efficient algorithm for Horn description	2009-07-09	Paper
Graph-Based Representations in Pattern Recognition	2005-09-13	Paper
Recognition of simple enlarged Horn formulas and simple extended Horn formulas	2003-03-10	Paper
The horn basis of a set of clauses	1998-10-06	Paper
On generating all solutions of generalized satisfiability problems	1998-05-24	Paper
Unique Horn renaming and Unique 2-Satisfiability	1997-02-28	Paper
A linear algorithm for renaming a set of clauses as a Horn set	1994-04-05	Paper
An algorithm for distinguishing efficiently bit-strings by their subsequences	1991-01-01	Paper
Strategies for modal resolution: Results and problems	1990-01-01	Paper
Calcul de la distance par les sous-mots	1986-01-01	Paper

This page was built for person: Jean-Jacques Hébrard