Export 28 results:
Author Title Type [ Year(Asc)]
Filters: Author is Laurent Simon  [Clear All Filters]
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.