Skip to Main content

Journal names

Production year

Number of documents



Journal articles1 document

Conference papers1 document

  • Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher. Revisiting the upper bounding process in a safe Branch and Bound algorithm. 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602. ⟨hal-00297086⟩

Other publications1 document

  • Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen. Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples. 2010. ⟨hal-00495816v2⟩

Preprints, Working Papers, ...4 documents

  • Mohammed Said Belaid, Claude Michel, Michel Rueher. Boosting domain filtering over floating-point numbers with safe linear approximations. 2011. ⟨hal-00653659⟩
  • Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen. A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples. 2010. ⟨hal-00531081⟩
  • Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher. Automatic Verification of Loop Invariants. 2010. ⟨hal-00495675⟩
  • Hélène Collavizza, Michel Rueher, Pascal van Hentenryck. Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification. 2008. ⟨hal-00274546⟩