`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:

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