Search results for: Michel Rueher
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 199-214
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2002 > Technical Papers > 109-123
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Satisfiability > 182-196
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2000 > Regular Papers > 233-248
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2010 > Applications Track > 628-642
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP98 > Submitted Papers > 147-161
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2007 > Application Papers > 49-63
Lecture Notes in Computer Science > Global Optimization and Constraint Satisfaction > Constraint Satisfaction > 1-14
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2000 > Regular Papers > 384-395
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming > Research Track Short Papers > 598-602
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 287-291
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 77-91
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming > Research Track Long Papers > 327-341
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 40-44