2008 |
11 | EE | Christian Schulte,
Guido Tack:
Perfect Derived Propagators.
CP 2008: 571-575 |
10 | EE | Christian Schulte,
Guido Tack:
Perfect Derived Propagators
CoRR abs/0806.1806: (2008) |
2007 |
9 | EE | Nicholas Nethercote,
Peter J. Stuckey,
Ralph Becket,
Sebastian Brand,
Gregory J. Duck,
Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language.
CP 2007: 529-543 |
8 | EE | Andreas Rossberg,
Guido Tack,
Leif Kornstaedt:
Status report: hot pickles, and how to serve them.
ML 2007: 25-36 |
7 | EE | Martin Mann,
Guido Tack,
Sebastian Will:
Decomposition During Search for Propagation-Based Constraint Solvers
CoRR abs/0712.2389: (2007) |
2006 |
6 | EE | Guido Tack,
Christian Schulte,
Gert Smolka:
Generating Propagators for Finite Set Constraints.
CP 2006: 575-589 |
5 | EE | Guido Tack,
Leif Kornstaedt,
Gert Smolka:
Generic Pickling and Minimization.
Electr. Notes Theor. Comput. Sci. 148(2): 79-103 (2006) |
2005 |
4 | EE | Christian Schulte,
Guido Tack:
Views and Iterators for Generic Constraint Implementations.
CP 2005: 817-821 |
3 | EE | Christian Schulte,
Guido Tack:
Views and Iterators for Generic Constraint Implementations.
CSCLP 2005: 118-132 |
2004 |
2 | EE | Guido Tack,
Didier Le Botlan:
Compositional Abstractions for Search Factories.
MOZ 2004: 211-223 |
1 | | Andreas Rossberg,
Didier Le Botlan,
Guido Tack,
Thorsten Brunklaus,
Gert Smolka:
Alice through the looking glass.
Trends in Functional Programming 2004: 79-95 |