Lagniez, Jean-Marie, 1983-....
VIAF ID: 313538796 ( Personal )
Permalink: http://viaf.org/viaf/313538796
Preferred Forms
Works
Title | Sources |
---|---|
Hybridization of clause learning techniques in constraint programming. | |
Informatique ubiquitaire : techniques de curage d'informations perverties | |
Practical resolution of satisfiability testing for modal logics | |
Promenade au-delà de NP | |
Résolution pratique de la cohérence de formules en logiques modales. | |
SAT en Parallèle | |
Satisfiabilité propositionnelle et raisonnement par contraintes: modèles et algorithmes | |
Ubiquitous computing : techniques for filtering inconsistent information. |