Christian Holzbaur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1987–2004
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ICLP | The Refined Operational Semantics of Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2003 | PPDP | Extending arbitrary solvers with constraint handling rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2001 | ICLP | Building Constraint Solvers with HAL. | Maria J. Garca de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
| 2001 | ICLP | Optimizing Compilation of Constraint Handling Rules. | Christian Holzbaur, Maria J. Garca de la Banda, David Jeffery, Peter J. Stuckey |
| 1999 | PPDP | Compiling Constraint Handling Rules into Prolog with Attributed Variables. | Christian Holzbaur, Thom W. Frhwirth |
| 1996 | CP | Defeasibility in CLP(Q) through Generalized Slack Variables. | Christian Holzbaur, Francisco Menezes, Pedro Barahona |
| 1991 | WI | Model-Based Analogue Circuit Diagnosis with CLP(R). | Igor Mozetic, Christian Holzbaur, Franc Novak, Marina Santo Zarnik |
| 1987 | WI | Realisierung durchgehender Uniformitt im Knowledge Engineering Tool VIE-KET. | Christian Holzbaur |