Programming Systems Lab: Publications by Guido Tack

Saarland University Computer Science

Select author:

2009

View-based Propagator Derivation   (pdf)
Christian Schulte, Guido Tack
Technical Report

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

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

2008

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, Available from http://arxiv.org/abs/0806.1806

Decomposition During Search for Propagation-Based Constraint Solvers   (pdf)
Martin Mann, Guido Tack, Sebastian Will
Technical Report, Available from http://arxiv.org/abs/0712.2389

2007

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

2006

Generating Propagators for Finite Set Constraints   (pdf)
Guido Tack, Christian Schulte, Gert Smolka
12th International Conference on Principles and Practice of Constraint Programming

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
Recent Advances in Constraints

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   (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Trends in Functional Programming, Volume 5

2005

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)

Alice Through the Looking Glass (Extended Mix)   (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report, Draft, \urlhttp://www.ps.uni-sb.de/Papers/

2004

Compositional Abstractions for Search Factories   (pdf)
Guido Tack, Didier Le Botlan
2nd International Conference on Multiparadigm Programming in Mozart/Oz

2003

Linearisation, Minimisation and Transformation of Data Graphs with Transients   (pdf)
Guido Tack
Diploma thesis, Programming Systems Lab, Universität des Saarlandes, Saarbrücken

2002

IOzSeF - The Integrated Oz Search Factory   (pdf)
Guido Tack
Technical Report


Login to edit


Webmaster, Mon May 30 13:48:30 2016