Frédéric Benhamou

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marie Pelleau

> Home > Persons > Frédéric Benhamou

Publications

2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/PelleauTB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/PelleauTB14
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou:
The octagon abstract domain for continuous constraints. Constraints An Int. J. 19(3): 309-337 (2014)
2013
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PelleauMTB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PelleauMTB13
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou:
A Constraint Solver Based on Abstract Domains. VMCAI 2013: 434-454
2011
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PelleauTB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PelleauTB11
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou:
Octagonal Domains for Continuous Constraints. CP 2011: 706-720
2010
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/TruchetPB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/TruchetPB10
Charlotte Truchet, Marie Pelleau, Frédéric Benhamou:
Abstract Domains for Constraint Programming, with the Example of Octagons. SYNASC 2010: 72-79

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.