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
8592007
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
472*2006
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 2010
152*2010
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
1032014
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
882005
Constraint propagation - models, techniques, implementation
G Tack
phdthesis, Saarland University, Germany, 2009
712009
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
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
462013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
432013
MiniZinc with Functions
PJ Stuckey, G Tack
CPAIOR, 268-283, 2013
402013
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
352015
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
342017
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
International Conference on Principles and Practice of Constraint …, 2016
332016
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
292016
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
282009
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
242010
Globalizing constraint models
K Leo, C Mears, G Tack, MG De La Banda
International Conference on Principles and Practice of Constraint …, 2013
212013
Generating propagators for finite set constraints
G Tack, C Schulte, G Smolka
International Conference on Principles and Practice of Constraint …, 2006
202006
View-based propagator derivation
C Schulte, G Tack
Constraints 18 (1), 75-107, 2013
192013
The system can't perform the operation now. Try again later.
Articles 1–20