Yahia Lebbah

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: A CP framework for testing CP. Constraints 17(2): 123-147 (2012)

Amina Kemmar, Yahia Lebbah, Mohammed Ouali, Samir Loudni: Complete and Incomplete Approaches for Graph Mining. ICWIT 2012: 312-317

Moussa Benaissa, Yahia Lebbah: A constraint programming based approach to detect ontology inconsistencies. Int. Arab J. Inf. Technol. 8(1): 1-8 (2011)

Hamza Bouchaour, Mohammed Ouali, Yahia Lebbah: Towards a Method for VLSI Circuit Reverse Engineering. CIIA 2011

Moussa Benaissa, Yahia Lebbah: Optimisation de l'extraction de l'alignment des ontologies avec la contrainte de différence. EGC 2011: 401-406

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: A Framework for the Automatic Correction of Constraint Programs. ICST 2011: 319-326

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: On Testing Constraint Programs. CP 2010: 330-344

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: Fault Localization in Constraint Programs. ICTAI (1) 2010: 61-67

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: On Testing Constraint Programs. CoRR abs/1005.2882 (2010)

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher: Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. CP 2008: 598-602

Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah: Towards Constraing-Based Local Search for Automatic Test Data Generation. ICST Workshops 2008: 195

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher: Revisiting the upper bounding process in a safe Branch and Bound algorithm. CoRR abs/0807.2382 (2008)

Yahia Lebbah, Claude Michel, Michel Rueher: Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC 2007: 326-331

Yahia Lebbah, Claude Michel, Michel Rueher: A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints 10(1): 47-65 (2005)

Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet: Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. SIAM J. Numerical Analysis 42(5): 2076-2097 (2005)

Yahia Lebbah, Claude Michel, Michel Rueher: Efficient Pruning Technique Based on Linear Relaxations. COCOS 2003: 1-14

Yahia Lebbah, Olivier Lhomme: Accelerating filtering techniques for numeric CSPs. Artif. Intell. 139(1): 109-132 (2002)

Yahia Lebbah, Michel Rueher, Claude Michel: A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP 2002: 109-123

Claude Michel, Michel Rueher, Yahia Lebbah: Solving Constraints over Floating-Point Numbers. CP 2001: 524-538

Yahia Lebbah, Olivier Lhomme: Acceleration Methods for Numeric CSPs. AAAI/IAAI 1998: 19-24

Yahia Lebbah, Olivier Lhomme: Acceleration methods for numeric CSPs. JFPLC 1998: 185-198