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
7872007
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
449*2006
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 2010
140*2010
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
872014
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
862005
Constraint propagation - models, techniques, implementation
G Tack
phdthesis, Saarland University, Germany, 2009
692009
Alice through the looking glass
A Rossberg, D Le Botlan, G Tack, T Brunklaus, G Smolka
Trends in Functional Programming 5, 79-96, 2006
572006
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
452013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
402013
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
322015
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
292017
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
International Conference on Principles and Practice of Constraint …, 2016
282016
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
282009
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
252016
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, P Stuckey
Principles and Practice of Constraint Programming–CP 2011, 774-788, 2011
252011
Implementing efficient propagation control
C Schulte, G Tack
TRICS 2010, 2010
232010
Generating propagators for finite set constraints
G Tack, C Schulte, G Smolka
International Conference on Principles and Practice of Constraint …, 2006
202006
Perfect derived propagators
C Schulte, G Tack
International Conference on Principles and Practice of Constraint …, 2008
192008
Globalizing constraint models
K Leo, C Mears, G Tack, MG De La Banda
International Conference on Principles and Practice of Constraint …, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20