Guido Tack
Guido Tack
Senior Lecturer, Monash University
Verified email at monash.edu - Homepage
TitleCited byYear
MiniZinc: Towards a standard CP modelling language
N Nethercote, P Stuckey, R Becket, S Brand, G Duck, G Tack
Principles and Practice of Constraint Programming–CP 2007, 529-543, 2007
6062007
Modeling and Programming with Gecode, 2013
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 0
198*
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
792005
Constraint propagation - models, techniques, implementation
G Tack
phdthesis, Saarland University, Germany, 2009
612009
Alice through the looking glass
A Rossberg, D Le Botlan, G Tack, T Brunklaus, G Smolka
Trends in Functional Programming 5, 79-96, 2006
582006
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
492014
MiningZinc: A modeling language for constraint-based mining
T Guns, A Dries, G Tack, S Nijssen, L De Raedt
Proceedings of the Twenty-Third international joint conference on Artificial …, 2013
382013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
342013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
342013
MiniZinc with Functions
PJ Stuckey, G Tack
CPAIOR, 268-283, 2013
312013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, P Stuckey
Principles and Practice of Constraint Programming–CP 2011, 774-788, 2011
222011
Implementing efficient propagation control
C Schulte, G Tack
TRICS 2010, 2010
222010
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
212009
MiniSearch: a solver-independent meta-search language for MiniZinc
A Rendl, T Guns, PJ Stuckey, G Tack
International Conference on Principles and Practice of Constraint …, 2015
192015
Generating propagators for finite set constraints
G Tack, C Schulte, G Smolka
International Conference on Principles and Practice of Constraint …, 2006
192006
Perfect derived propagators
C Schulte, G Tack
International Conference on Principles and Practice of Constraint …, 2008
182008
MiningZinc: A declarative framework for constraint-based mining
T Guns, A Dries, S Nijssen, G Tack, L De Raedt
Artificial Intelligence 244, 6-29, 2017
172017
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
International Conference on Principles and Practice of Constraint …, 2016
142016
What do constraint programming users want to see? Exploring the role of visualisation in profiling of models and search
S Goodwin, C Mears, T Dwyer, MG de la Banda, G Tack, M Wallace
IEEE Transactions on Visualization and Computer Graphics 23 (1), 281-290, 2016
142016
Multi-pass high-level presolving
K Leo, G Tack
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20