Biblio

Export 28 results:
Author [ Title(Desc)] Type Year
Filters: Author is Laurent Simon  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
H. Ibrahim, Dague, P., and Simon, L., “SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems”, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.
C. Min Li, Zhu, Z., Manya, F., and Simon, L., “Satisfiabilité Minimale et Applications”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Lyon, France, 2011.
U
L. Simon, Audemard, G., and Katsirelos, G., “Une restriction de la résolution étendue pour les démonstrateurs SAT modernes”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans France, 2010.

Pages