Travelled to:
1 × United Kingdom
2 × USA
Collaborated with:
S.Abdennadher T.Geisler W.Jonker
Talks about:
generat (2) model (2) constraint (1) existenti (1) quantifi (1) variabl (1) databas (1) system (1) effici (1) compil (1)
Person: Heribert Schütz
DBLP: Sch=uuml=tz:Heribert
Contributed to:
Wrote 3 papers:
- ALP-1997-AbdennadherS #constraints #generative #quantifier
- Model Generation with Existentially Quantified Variables and Constraints (SA, HS), pp. 256–272.
- CADE-1996-SchutzG #compilation #generative #performance
- Efficient Model Generation through Compilation (HS, TG), pp. 433–447.
- SIGMOD-1995-JonkerS #database #multi
- The ECRC Multi Database System (WJ, HS), p. 490.