Search results for: Lakhdar Saïs
International Journal of Approximate Reasoning > 2017 > 89 > C > 27-40
International Journal of Imaging Systems and Technology > 27 > 3 > 281 - 306
Artificial Intelligence > 2017 > 244 > C > 30-47
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > 115-128
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 16-30
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 565-569
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 71-83
Lecture Notes in Computer Science > STACS 94 > 71-82
Lecture Notes in Computer Science > MICAI 2007: Advances in Artificial Intelligence > Computational Intelligence > 105-117
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2010 > Research Track > 252-265
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 122-132
Lecture Notes in Computer Science > Abstraction, Reformulation, and Approximation > Research Papers > 93-108
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2007 > Full Research Papers > 453-467
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 16-21
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 474-488