Follow
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
9552007
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
511*2006
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 2010
164*2010
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
1162014
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
952005
Constraint propagation - models, techniques, implementation
G Tack
phdthesis, Saarland University, Germany, 2009
742009
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
472013
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
422013
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
412017
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
392015
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
International Conference on Principles and Practice of Constraint …, 2016
372016
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
312016
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
292009
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, P Stuckey
Principles and Practice of Constraint Programming–CP 2011, 774-788, 2011
252011
Globalizing constraint models
K Leo, C Mears, G Tack, M Garcia de la Banda
International Conference on Principles and Practice of Constraint …, 2013
232013
Implementing efficient propagation control
C Schulte, G Tack
TRICS 2010, 2010
222010
Generating propagators for finite set constraints
G Tack, C Schulte, G Smolka
International Conference on Principles and Practice of Constraint …, 2006
212006
Debugging unsatisfiable constraint models
K Leo, G Tack
International conference on AI and OR techniques in constraint programming …, 2017
192017
The system can't perform the operation now. Try again later.
Articles 1–20