Search results for: Nadia Creignou
Lecture Notes in Computer Science
Theory of Computing Systems > 2017 > 60 > 4 > 737-758
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 34-47
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Stochastic Approaches to SAT Solving > 363-376
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 30-45
Journal of Computer and System Sciences > 2014 > 80 > 2 > 427-449
European Journal of Combinatorics > 2013 > 34 > 5 > 793-805
European Journal of Combinatorics > 2010 > 31 > 2 > 502-516
Theory of Computing Systems > 2010 > 47 > 2 > 454-490
Discrete Mathematics > 2009 > 309 > 8 > 2085-2099
Journal of Computer and System Sciences > 2008 > 74 > 7 > 1103-1115
Theory of Computing Systems > 2008 > 42 > 2 > 239-255
Discrete Applied Mathematics > 2005 > 153 > 1-3 > 48-57
Annals of Mathematics and Artificial Intelligence > 2005 > 43 > 1-4 > 51-63
Information and Computation > 2004 > 190 > 2 > 220-238