Maintaining State in Propagation Solvers
(pdf)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming
View-based Propagator Derivation
(pdf)
Christian Schulte, Guido Tack
Technical Report
Weakly Monotonic Propagators
(pdf)
Christian Schulte, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming
Constraint Propagation -- Models, Techniques, Implementation
(pdf)
Guido Tack
Doctoral Dissertation, Saarland University
Decomposition During Search for Propagation-Based Constraint Solvers
(pdf)
Martin Mann, Guido Tack, Sebastian Will
Technical Report
Perfect Derived Propagators
(pdf)
Christian Schulte, Guido Tack
14th International Conference on Principles and Practice of Constraint Programming
Perfect Derived Propagators
(pdf)
Christian Schulte, Guido Tack
Technical Report
MiniZinc: Towards a Standard CP Modelling Language
(pdf)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
13th International Conference on Principles and Practice of Constraint Programming
Status Report: HOT Pickles, and how to serve them
(pdf)
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM SIGPLAN Workshop on ML
Alice Through the Looking Glass
(pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Trends in Functional Programming, Volume 5
Views and Iterators for Generic Constraint Implementations
(pdf)
Christian Schulte, Guido Tack
Recent Advances in Constraints
Generating Propagators for Finite Set Constraints
(pdf)
Guido Tack, Christian Schulte, Gert Smolka
12th International Conference on Principles and Practice of Constraint Programming
Generic Pickling and Minimization
(pdf)
Guido Tack, Leif Kornstaedt, Gert Smolka
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)
Alice Through the Looking Glass (Extended Mix)
(pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report
Views and Iterators for Generic Constraint Implementations
(pdf)
Christian Schulte, Guido Tack
11th International Conference on Principles and Practice of Constraint Programming
Views and Iterators for Generic Constraint Implementations
(pdf)
Christian Schulte, Guido Tack
Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)
Compositional Abstractions for Search Factories
(pdf)
Guido Tack, Didier Le Botlan
2nd International Conference on Multiparadigm Programming in Mozart/Oz
Linearisation, Minimisation and Transformation of Data Graphs with Transients
(pdf)
Guido Tack
Diploma thesis, Programming Systems Lab, Universität des Saarlandes, Saarbrücken
IOzSeF - The Integrated Oz Search Factory
(pdf)
Guido Tack
Technical Report