Travelled to:1 × Germany
1 × Hungary
1 × Italy
2 × USA
Collaborated with:F.Goualard ∅ J.Massat D.A.McAllester P.V.Hentenryck M.Pelleau A.Miné C.Truchet L.Granvilliers J.Puget
Talks about:constraint (4) program (2) heterogen (1) abstract (1) revisit (1) consist (1) boolean (1) visual (1) solver (1) pseudo (1)
Person: Frédéric Benhamou
DBLP: Benhamou:Fr=eacute=d=eacute=ric
Contributed to:
2013
1999
1999
199619941993Wrote 6 papers:
- VMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving
- A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.
- ASE-1999-GoualardB #constraints #debugging #visualisation
- A Visualization Tool for Constraint Program Debugging (FG, FB), p. 110–?.
- ICLP-1999-BenhamouGGP #consistency
- Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.
- ALP-1996-Benhamou #constraints #theorem proving
- Heterogeneous Constraint Solving (FB), pp. 62–76.
- ILPS-1994-BenhamouMH #revisited
- CLP(Intervals) Revisited (FB, DAM, PVH), pp. 124–138.
- ICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo
- Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.