Search results for: Slim Abdennadher
Procedia Computer Science > 2017 > 117 > C > 208-216
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming-CP97 > 252-266
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Tabling and Constraints > 32-47
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP’99 > Regular Papers > 43-57
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2000 > Regular Papers > 18-34
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Constraint Solving and Analysis > 106-120
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Constraints > 198-213