Jean-Jacques Hébrard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

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