Laure Brisoux

According to our database, Laure Brisoux authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Checking depth-limited consistency and inconsistency in knowledge-based systems.

Laure Brisoux, Éric Grégoire, Lakhdar Sais

Int. J. Intell. Syst., 2001

1999

Improving Backtrack Search for SAT by Means of Redundancy.

Laure Brisoux, Éric Grégoire, Lakhdar Sais

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

Validation of Knowledge-Based Systems by Means of Stochastic Search.

Laure Brisoux, Éric Grégoire, Lakhdar Sais

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998