default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuido Tack
Person information
- affiliation: Monash University, Clayton, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c52]Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack:
Single Constant Multiplication for SAT. CPAIOR (1) 2024: 84-98- [c51]Sepehr Minagar
, Amin Sakzad, Guido Tack, Carsten Rudolph, Judithe Sheard:
ALAN: Assessment-as-Learning Authentic Tasks for Networking. SIGCSE (1) 2024: 853-859 - [d13]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.3. Zenodo, 2024 [all versions]
- [d12]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.4. Zenodo, 2024 [all versions] - 2023
- [c50]Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack:
Addressing Problem Drift in UNHCR Fund Allocation. CP 2023: 37:1-37:18 - [d11]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.0. Zenodo, 2023 [all versions] - [d10]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.1. Zenodo, 2023 [all versions] - [d9]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.2. Zenodo, 2023 [all versions] - [d8]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.3. Zenodo, 2023 [all versions] - [d7]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.4. Zenodo, 2023 [all versions] - [d6]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.5. Zenodo, 2023 [all versions] - [d5]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.6. Zenodo, 2023 [all versions] - [d4]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.0. Zenodo, 2023 [all versions] - [d3]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.1. Zenodo, 2023 [all versions] - [d2]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.2. Zenodo, 2023 [all versions] - 2022
- [j13]Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing constraint models. Artif. Intell. 302: 103599 (2022) - [j12]Jie Liu, Kim Marriott, Tim Dwyer, Guido Tack:
Increasing User Trust in Optimisation through Feedback and Interaction. ACM Trans. Comput. Hum. Interact. 29(5): 42:1-42:34 (2022) - [c49]Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Explaining Propagation for Gini and Spread with Variable Mean. CP 2022: 21:1-21:16 - [c48]Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey:
Coupling Different Integer Encodings for SAT. CPAIOR 2022: 44-63 - [c47]Peter J. Stuckey, Guido Tack:
Enumerated Types and Type Extensions for MiniZinc. CPAIOR 2022: 374-389 - [c46]Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby:
Weight Constrained Path Finding with Bidirectional A. SOCS 2022: 2-10 - [d1]Guido Tack, Jip J. Dekker, Gleb Belov, Kevin Leo, Jason Nguyen, Peter J. Stuckey:
MiniZinc. Version 2.6.4. Zenodo, 2022 [all versions] - [i13]Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby:
Enhanced Methods for the Weight Constrained Shortest Path Problem: Constrained Path Finding Meets Bi-objective Search. CoRR abs/2207.14744 (2022) - [i12]Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan:
Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR abs/2212.10723 (2022) - 2021
- [j11]Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack:
The Added Value of Coordinating Inverter Control. IEEE Trans. Smart Grid 12(2): 1238-1248 (2021) - [j10]Jie Liu, Tim Dwyer, Guido Tack, Samuel Gratzl, Kim Marriott:
Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. IEEE Trans. Vis. Comput. Graph. 27(2): 1764-1774 (2021) - [c45]Saman Ahmadi, Guido Tack, Daniel Damir Harabor, Philip Kilby:
A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem. AAAI 2021: 12217-12224 - [c44]Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby:
Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. CP 2021: 11:1-11:17 - [c43]Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby:
Bi-Objective Search with Bi-Directional A. ESA 2021: 3:1-3:15 - [c42]Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby:
Bi-Objective Search with Bi-directional A* (Extended Abstract). SOCS 2021: 142-144 - [i11]Seyedali Meghdadi, Guido Tack, Ariel Liebman, Nicolas Langrené, Christoph Bergmeir:
Versatile and Robust Transient Stability Assessment via Instance Transfer Learning. CoRR abs/2102.10296 (2021) - [i10]Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby:
Bi-objective Search with Bi-directional A. CoRR abs/2105.11888 (2021) - 2020
- [c41]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Modelling and Solving Online Optimisation Problems. AAAI 2020: 1477-1485 - [c40]Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack:
Modelling Diversity of Solutions. AAAI 2020: 1528-1535 - [c39]Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP 2020: 55-71 - [c38]Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Aggregation and Garbage Collection for Online Optimization. CP 2020: 231-247 - [c37]Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack:
Interaction Between Coordinated and Droop Control PV Inverters. e-Energy 2020: 314-324 - [i9]Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack:
Interaction Between Coordinated and Droop Control PV Inverters. CoRR abs/2006.12644 (2020) - [i8]Seyedali Meghdadi, Guido Tack, Ariel Liebman:
Data-Driven Security Assessment of the Electric Power System. CoRR abs/2008.12429 (2020) - [i7]Jie Liu, Tim Dwyer, Guido Tack, Samuel Gratzl, Kim Marriott:
Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. CoRR abs/2009.03163 (2020)
2010 – 2019
- 2019
- [c36]Peter J. Stuckey, Guido Tack:
Compiling Conditional Constraints. CP 2019: 384-400 - 2018
- [c35]David Hemmi, Guido Tack, Mark Wallace:
A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. AAAI 2018: 1322-1329 - [c34]Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Solver-Independent Large Neighbourhood Search. CP 2018: 81-98 - [c33]Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda:
Towards Semi-Automatic Learning-Based Model Transformation. CP 2018: 403-419 - [c32]Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI 2018: 98-105 - [i6]Tias Guns, Peter J. Stuckey, Guido Tack:
Solution Dominance over Constraint Satisfaction Problems. CoRR abs/1812.09207 (2018) - 2017
- [j9]Andrea Passerini, Guido Tack, Tias Guns:
Introduction to the special issue on Combining Constraint Solving with Mining and Learning. Artif. Intell. 244: 1-5 (2017) - [j8]Tias Guns, Anton Dries, Siegfried Nijssen, Guido Tack, Luc De Raedt:
MiningZinc: A declarative framework for constraint-based mining. Artif. Intell. 244: 6-29 (2017) - [j7]Guido Tack, Christopher Mears:
PhD theses in constraints. Constraints An Int. J. 22(1): 90 (2017) - [j6]Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace:
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23(1): 281-290 (2017) - [c31]Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack:
A Novel Approach to String Constraint Solving. CP 2017: 3-20 - [c30]Kevin Leo, Guido Tack:
Debugging Unsatisfiable Constraint Models. CPAIOR 2017: 77-93 - [c29]David Hemmi, Guido Tack, Mark Wallace:
Scenario-Based Learning for Stochastic Combinatorial Optimisation. CPAIOR 2017: 277-292 - 2016
- [j5]Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Visual search tree profiling. Constraints An Int. J. 21(1): 77-94 (2016) - [c28]Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace:
Improved Linearization of Constraint Programming Models. CP 2016: 49-65 - [c27]Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Learning from Learning Solvers. CP 2016: 455-472 - [c26]Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. LOPSTR 2016: 59-75 - [i5]Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. CoRR abs/1608.03650 (2016) - 2015
- [j4]Guido Tack, Christopher Mears:
PhD theses in constraints 2012-2015. Constraints An Int. J. 20(4): 468 (2015) - [c25]Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack:
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP 2015: 376-392 - [c24]John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth:
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. ICCS 2015: 914-923 - [c23]Kevin Leo, Guido Tack:
Multi-Pass High-Level Presolving. IJCAI 2015: 346-352 - 2014
- [j3]Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer:
The MiniZinc Challenge 2008-2013. AI Mag. 35(2): 55-60 (2014) - [c22]Andrea Rendl, Guido Tack, Peter J. Stuckey:
Stochastic MiniZinc. CP 2014: 636-645 - [c21]Christian Schulte, Guido Tack:
View-Based Propagator Derivation - (Extended Abstract). CP 2014: 938-942 - [c20]Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace:
Modelling with Option Types in MiniZinc. CPAIOR 2014: 88-103 - 2013
- [j2]Christian Schulte, Guido Tack:
View-based propagator derivation. Constraints An Int. J. 18(1): 75-107 (2013) - [j1]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search combinators. Constraints An Int. J. 18(2): 269-305 (2013) - [c19]Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack:
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013 - [c18]Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing Constraint Models. CP 2013: 432-447 - [c17]Peter J. Stuckey, Guido Tack:
MiniZinc with Functions. CPAIOR 2013: 268-283 - [c16]Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt:
The MiningZinc Framework for Constraint-Based Itemset Mining. ICDM Workshops 2013: 1081-1084 - [c15]Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt:
MiningZinc: A Modeling Language for Constraint-Based Mining. IJCAI 2013: 1365-1372 - 2012
- [c14]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
An Introduction to Search Combinators. LOPSTR 2012: 2-16 - [i4]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CoRR abs/1203.1095 (2012) - 2011
- [c13]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey:
Search Combinators. CP 2011: 774-788 - [c12]Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey:
Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85
2000 – 2009
- 2009
- [b1]Guido Tack:
Constraint propagation: models, techniques, implementation. Saarland University, Germany, 2009 - [c11]Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack:
Maintaining State in Propagation Solvers. CP 2009: 692-706 - [c10]Christian Schulte, Guido Tack:
Weakly Monotonic Propagators. CP 2009: 723-730 - [i3]Christian Schulte, Guido Tack:
View-based Propagator Derivation. CoRR abs/0908.2050 (2009) - 2008
- [c9]Christian Schulte, Guido Tack:
Perfect Derived Propagators. CP 2008: 571-575 - [i2]Christian Schulte, Guido Tack:
Perfect Derived Propagators. CoRR abs/0806.1806 (2008) - 2007
- [c8]Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543 - [c7]Andreas Rossberg, Guido Tack, Leif Kornstaedt:
Status report: hot pickles, and how to serve them. ML 2007: 25-36 - [i1]Martin Mann, Guido Tack, Sebastian Will:
Decomposition During Search for Propagation-Based Constraint Solvers. CoRR abs/0712.2389 (2007) - 2006
- [c6]Guido Tack, Christian Schulte, Gert Smolka:
Generating Propagators for Finite Set Constraints. CP 2006: 575-589 - 2005
- [c5]Christian Schulte, Guido Tack:
Views and Iterators for Generic Constraint Implementations. CP 2005: 817-821 - [c4]Christian Schulte, Guido Tack:
Views and Iterators for Generic Constraint Implementations. CSCLP 2005: 118-132 - [c3]Guido Tack, Leif Kornstaedt, Gert Smolka:
Generic Pickling and Minimization. ML 2005: 79-103 - 2004
- [c2]Guido Tack, Didier Le Botlan:
Compositional Abstractions for Search Factories. MOZ 2004: 211-223 - [c1]Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
Alice through the looking glass. Trends in Functional Programming 2004: 79-95
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
