×

zbMATH — the first resource for mathematics

Tack, Guido

Compute Distance To:
Author ID: tack.guido Recent zbMATH articles by "Tack, Guido"
Published as: Tack, Guido
External Links: MGP
Documents Indexed: 13 Publications since 2006

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 23 times in 19 Documents Cited by Year
MiningZinc: a declarative framework for constraint-based mining. Zbl 1404.68106
Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc
4
2017
View-based propagator derivation. Zbl 1328.68202
Schulte, Christian; Tack, Guido
4
2013
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
2013
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
3
2013
Views and iterators for generic constraint implementations. Zbl 1180.68103
Schulte, Christian; Tack, Guido
3
2006
Generating propagators for finite set constraints. Zbl 1160.68387
Tack, Guido; Schulte, Christian; Smolka, Gert
2
2006
Introduction to the special issue on combining constraint solving with mining and learning. Zbl 1358.00119
Passerini, Andrea (ed.); Tack, Guido (ed.); Guns, Tias (ed.)
1
2017
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
MiningZinc: a declarative framework for constraint-based mining. Zbl 1404.68106
Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc
4
2017
Introduction to the special issue on combining constraint solving with mining and learning. Zbl 1358.00119
Passerini, Andrea (ed.); Tack, Guido (ed.); Guns, Tias (ed.)
1
2017
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
Modelling with option types in MiniZinc. Zbl 1407.68458
Mears, Christopher; Schutt, Andreas; Stuckey, Peter J.; Tack, Guido; Marriott, Kim; Wallace, Mark
1
2014
View-based propagator derivation. Zbl 1328.68202
Schulte, Christian; Tack, Guido
4
2013
MiniZinc with functions. Zbl 1382.68234
Stuckey, Peter J.; Tack, Guido
4
2013
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
3
2013
Views and iterators for generic constraint implementations. Zbl 1180.68103
Schulte, Christian; Tack, Guido
3
2006
Generating propagators for finite set constraints. Zbl 1160.68387
Tack, Guido; Schulte, Christian; Smolka, Gert
2
2006

Citations by Year