Search results for: Pierre Flener
Constraints > 2017 > 22 > 4 > 512-529
Artificial Intelligence > 2016 > 241 > C > 170-190
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Constraints > 214-232
Lecture Notes in Computer Science > KI 2001: Advances in Artificial Intelligence > Papers on Foundations > 275-289
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2006 > Poster Papers > 695-699
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 69-87
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Technical Papers > 19-33
Lecture Notes in Computer Science > Program Development in Computational Logic > Specification and Synthesis > 30-65
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2010 > Applications Track > 643-657
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2006 > Poster Papers > 665-669
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 10-24
Lecture Notes in Computer Science > Abstraction, Reformulation and Approximation > Full Papers > 234-247
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Software Development > 310-346
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 47-61
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2002 > Technical Papers > 462-477