Travelled to:1 × Brazil
1 × France
1 × Switzerland
Collaborated with:F.Goualard ∅ C.Grandón C.Michel M.Rueher
Talks about:approxim (3) algorithm (2) constraint (1) existenti (1) quantifi (1) univers (1) quantif (1) paramet (1) distanc (1) consist (1)
Person: Alexandre Goldsztejn
DBLP: Goldsztejn:Alexandre
Contributed to:
201020082006Wrote 4 papers:
- SAC-2010-GoldsztejnG #adaptation #consistency
- Box consistency through adaptive shaving (AG, FG), pp. 2049–2054.
- SAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier
- An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.
- SAC-2006-Goldsztejn #algorithm #approximate #branch #set
- A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
- SAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier
- Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.