Research

• Continuous constraints solving, global optimization and interval analysis
• Constraints satisfaction and combinatorial optimization
• Linear programming relaxations for continuous problems
• Program testing and verification
  

  ---

  ---

• Int'05
  

• Gicolag'06  
  

• EDRO, USTHB 2009

• Swim 2009
  

Papers

• ICOS: a branch and bound based solver for rigorous global optimization
  Authors: Yahia LEBBAH
  Optimization Methods and Software, 24(4):709-726 , 2009
  draft
  

• Revisiting the upper bounding process in a safe Branch and Bound algorithm
  Authors: Alexandre Goldsztejn, Yahia LEBBAH, Claude MICHEL, Michel RUEHER
  Proc. of CP2008 , LNCS 5202, pp. 598-602,2008, Springer-Verlag, 2008
  draft
  

• Using constraint techniques for a safe and fast implementation of optimality-based reduction
  Authors: Yahia LEBBAH, Claude MICHEL, Michel RUEHER
  Proceedings of SAC’07 – The 22nd Annual ACM Symposium on Applied Computing
  Edition : ACM, 2007
  draft
  

• Authors: Yahia LEBBAH, Claude MICHEL, Michel RUEHER
  Journal of Computational and Applied Mathematics, 199(2007):372-377
  download
  

• Efficient and safe global constraints for handling numerical constraint systems
  SIAM Journal on Numerical Analysis, 42:5:2076-2097, 2005
  Authors: Yahia LEBBAH, Claude MICHEL, Michel RUEHER, David DANEY, Jean-Pierre MERLET
  download
  

• A rigorous global filtering algorithm for quadratic constraints
  Constraints Journal, 10:47-65, 2005
  Authors: Yahia LEBBAH, Claude MICHEL, Michel RUEHER
  download
  

• Efficient pruning technique based on linear relaxations
  Lecture Notes in Computer Science 3478, COCOS'03 Proceedings, 2005
  Authors: Yahia LEBBAH, Claude MICHEL, Michel RUEHER
  download
  

• Global filtering algorithms based on linear relaxations
2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction, (Cocos'03)
Lausanne, Switzerland, 18-21 November 2003
Authors : Yahia LEBBAH, Claude MICHEL, Michel RUEHER
download


• Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires (in french)
JNPC'2003
Authors : Yahia LEBBAH, Claude MICHEL, Michel RUEHER
download


• A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
CP'2003, LNCS 2470:109-123
Authors : Yahia LEBBAH, Michel Rueher, Claude Michel
download


• Accelerating filtering techniques for numeric CSPs
Artificial Intelligence 139(1): 109-132 (2002)
Authors : Yahia LEBBAH, Olivier LHOMME
download


• Solving Constraints over Floating-Point Numbers
CP'2001, LNCS 2239:524-538
Authors : Yahia LEBBAH, Olivier LHOMME
download


• Contribution à la résolution de contraintes par consistance forte (in french)
PhD thesis, Ecole des Mines de Nantes, France
Authors : Yahia LEBBAH
download


• Prediction by extrapolation for interval tightening methods.
Proceedings of SCAN'98
Authors : Yahia LEBBAH, Olivier LHOMME
Kluwer; 1999;159-166
download


• Acceleration methods for numeric CSPs.
Proceedings of Fifteenth National Conference on Artificial Intelligence "AAAI 98".
Authors : Yahia LEBBAH, Olivier LHOMME. July 26-30, 1998, Madison, Wisconsin.
MIT/AAAI Press; 1998;19-25
download


• Consistency checking by type inference and constraint satisfaction.
Proceedings of "International Conference On Computer Safety, Reliability and Security".
Author : Yahia LEBBAH.
7-10 Sep 1997, York(UK), Springer;1997;253-264.
download


• Formal specification and verification in control design
Authors : Bernard MARI, Yahia LEBBAH, Jean-Luc DORMOY.
Proceedings of "IASTED International Conference on Applied Modelling and Simulation". 
27/07-01/08 1997, Banff(Canada), 1997;230-232.

• iCOs : Interval COstraints Solver (with AMPL interface)
Author : Yahia LEBBAH


• SIM4: PDE solver based on finite element methods and automatic meshing technics
Authors : Yahia LEBBAH, Mohamed Salah (1995)


• ...