关注
Guido Tack
Guido Tack
Associate Professor, Monash University
在 monash.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
11812007
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
557*2006
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
http://www.gecode.org, 2010
183*2010
The MiniZinc challenge 2008–2013
PJ Stuckey, T Feydy, A Schutt, G Tack, J Fischer
AI Magazine 35 (2), 55-60, 2014
1472014
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
962005
Constraint propagation - models, techniques, implementation
G Tack
phdthesis, Saarland University, Germany, 2009
702009
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
682013
Alice through the looking glass
A Rossberg, D Le Botlan, G Tack, T Brunklaus, G Smolka
Trends in Functional Programming 5, 79-96, 2006
61*2006
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
512017
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
492013
Improved linearization of constraint programming models
G Belov, PJ Stuckey, G Tack, M Wallace
Principles and Practice of Constraint Programming: 22nd International …, 2016
442016
MiniSearch: a solver-independent meta-search language for MiniZinc
A Rendl, T Guns, PJ Stuckey, G Tack
Principles and Practice of Constraint Programming: 21st International …, 2015
432015
MiniZinc with Functions
PJ Stuckey, G Tack
CPAIOR, 268-283, 2013
422013
Modelling Diversity of Solutions
L Ingmar, M Garcia de la Banda, PJ Stuckey, G Tack
AAAI, 1528-1535, 2020
402020
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
372016
Bi-objective Search with Bi-directional A*
S Ahmadi, G Tack, DD Harabor, P Kilby
Proceedings of the International Symposium on Combinatorial Search 12 (1 …, 2021
322021
Weakly monotonic propagators
C Schulte, G Tack
International conference on principles and practice of constraint …, 2009
312009
Debugging unsatisfiable constraint models
K Leo, G Tack
Integration of AI and OR Techniques in Constraint Programming: 14th …, 2017
272017
Globalizing constraint models
K Leo, C Mears, G Tack, M Garcia de la Banda
International Conference on Principles and Practice of Constraint …, 2013
262013
Supporting the problem-solving loop: Designing highly interactive optimisation systems
J Liu, T Dwyer, G Tack, S Gratzl, K Marriott
IEEE Transactions on Visualization and Computer Graphics 27 (2), 1764-1774, 2020
252020
系统目前无法执行此操作，请稍后再试。
文章 1–20