BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Benhamou:Fr=eacute=d=eacute=ric

Contributed to:

VMCAI 20132013
ASE 19991999
ICLP 19991999
ALP 19961996
ILPS 19941994
ICLP 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.