Travelled to:
1 × Switzerland
2 × USA
Collaborated with:
L.Granvilliers F.Benhamou A.Goldsztejn ∅ J.Puget
Talks about:
constraint (3) consist (2) box (2) nonlinear (1) algorithm (1) procedur (1) program (1) network (1) control (1) continu (1)
Person: Frédéric Goualard
DBLP: Goualard:Fr=eacute=d=eacute=ric
Contributed to:
Wrote 5 papers:
- SAC-2010-GoldsztejnG #adaptation #consistency
- Box consistency through adaptive shaving (AG, FG), pp. 2049–2054.
- SAC-2005-Goualard #algorithm #constraints #on the #theorem proving
- On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure (FG), pp. 1434–1438.
- SAC-2005-GoualardG #constraints #network
- Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.
- 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.