Laure Brisoux

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Laure Brisoux, Éric Grégoire, Lakhdar Sais
Checking depth-limited consistency and inconsistency in knowledge-based systems. Int. J. Intell. Syst. 16 (3) (2001)
Laure Brisoux, Éric Grégoire, Lakhdar Sais
Improving Backtrack Search for SAT by Means of Redundancy. ISMIS (1999)
Laure Brisoux, Éric Grégoire, Lakhdar Sais
Validation of Knowledge-Based Systems by Means of Stochastic Search. DEXA Workshop (1998)