Guido Tack
Guido Tack
Associate Professor, Monash University
Dirección de correo verificada de monash.edu - Página principal
Título
Citado por
Citado por
Año
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
7812007
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
447*2006
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 2010
137*2010
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
862005
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
832014
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
282017
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
282009
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
International Conference on Principles and Practice of Constraint …, 2016
272016
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, P Stuckey
Principles and Practice of Constraint Programming–CP 2011, 774-788, 2011
252011
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
242016
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
View-based propagator derivation
C Schulte, G Tack
Constraints 18 (1), 75-107, 2013
182013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20