Biblio

Export 28 results:
Author Title Type [ Year(Asc)]
Filters: Author is Laurent Simon  [Clear All Filters]
2008
V. Armant, Dague, P., and Simon, L., “Distributed Consistency-Based Diagnosis without Conflicts”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
G. Audemard and Simon, L., “Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms”, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), 2008.
G. Dequen and Simon, L., “SAT: Progrès et Défis”, Hermes, 2008.

Pages