Guido Tack
Guido Tack
Associate Professor, Monash University
Verified email at monash.edu - Homepage
Title
Cited by
Cited by
Year
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
6982007
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
421*2006
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 2010
123*2010
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
812005
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
692014
Constraint propagation - models, techniques, implementation
G Tack
phdthesis, Saarland University, Germany, 2009
662009
Alice through the looking glass
A Rossberg, D Le Botlan, G Tack, T Brunklaus, G Smolka
Trends in Functional Programming 5, 79-96, 2006
562006
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
422013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
382013
MiniZinc with Functions
PJ Stuckey, G Tack
CPAIOR, 268-283, 2013
352013
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
302015
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
252009
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
242017
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, P Stuckey
Principles and Practice of Constraint Programming–CP 2011, 774-788, 2011
242011
Implementing efficient propagation control
C Schulte, G Tack
TRICS 2010, 2010
232010
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
International Conference on Principles and Practice of Constraint …, 2016
202016
Generating propagators for finite set constraints
G Tack, C Schulte, G Smolka
International Conference on Principles and Practice of Constraint …, 2006
202006
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
192016
Perfect derived propagators
C Schulte, G Tack
International Conference on Principles and Practice of Constraint …, 2008
192008
Alice Through the Looking Glass, volume 5 of Trends in Functional Programming
A Rossberg, DL Botlan, G Tack, T Brunklaus, G Smolka
Intellect Books, Bristol, UK, 2006
192006
The system can't perform the operation now. Try again later.
Articles 1–20