Travelled to:1 × Belgium
1 × Cyprus
1 × Sweden
1 × USA
2 × France
Collaborated with:P.J.Stuckey M.J.G.d.l.Banda G.J.Duck T.W.Frühwirth ∅ I.Mozetic D.Jeffery K.Marriott N.Nethercote
Talks about:constraint (6) handl (4) rule (4) attribut (2) variabl (2) solver (2) compil (2) metastructur (1) arbitrari (1) program (1)
Person: Christian Holzbaur
DBLP: Holzbaur:Christian
Contributed to:
2004
20032001199919921991Wrote 7 papers:
- ICLP-2004-DuckSBH #constraints #semantics
- The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.
- PPDP-2003-DuckSBH #constraints
- Extending arbitrary solvers with constraint handling rules (GJD, PJS, MJGdlB, CH), pp. 79–90.
- ICLP-2001-BandaJMNSH #constraints #theorem proving
- Building Constraint Solvers with HAL (MJGdlB, DJ, KM, NN, PJS, CH), pp. 90–104.
- ICLP-2001-HolzbaurBJS #compilation #constraints #optimisation
- Optimizing Compilation of Constraint Handling Rules (CH, MJGdlB, DJ, PJS), pp. 74–89.
- PPDP-1999-HolzbaurF #compilation #constraints #prolog
- Compiling Constraint Handling Rules into Prolog with Attributed Variables (CH, TWF), pp. 117–133.
- PLILP-1992-Holzbaur #unification
- Metastructures versus Attributed Variables in the Context of Extensible Unification (CH), pp. 260–268.
- ISLP-1991-MozeticH #constraints #logic programming #modelling
- Integrating Numerical and Qualitative Models within Constraint Logic Programming (IM, CH), pp. 678–693.