|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 52 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter J. Stuckey, Guido Tack |
Compiling Conditional Constraints.  |
CP  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tias Guns, Peter J. Stuckey, Guido Tack |
Solution Dominance over Constraint Satisfaction Problems. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | David Hemmi, Guido Tack, Mark Wallace 0001 |
A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. |
AAAI |
2018 |
DBLP BibTeX RDF |
|
| 1 | Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
Declarative Local-Search Neighbourhoods in MiniZinc. |
ICTAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Solver-Independent Large Neighbourhood Search. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
Towards Semi-Automatic Learning-Based Model Transformation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tias Guns, Anton Dries, Siegfried Nijssen, Guido Tack, Luc De Raedt |
MiningZinc: A declarative framework for constraint-based mining. |
Artif. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Passerini, Guido Tack, Tias Guns |
Introduction to the special issue on Combining Constraint Solving with Mining and Learning. |
Artif. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace 0001 |
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. |
IEEE Trans. Vis. Comput. Graph. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Christopher Mears |
PhD theses in constraints. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Leo, Guido Tack |
Debugging Unsatisfiable Constraint Models. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemmi, Guido Tack, Mark Wallace 0001 |
Scenario-Based Learning for Stochastic Combinatorial Optimisation. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
A Novel Approach to String Constraint Solving. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
MiniZinc with Strings. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Visual search tree profiling. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace 0001 |
Improved Linearization of Constraint Programming Models. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Learning from Learning Solvers. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
MiniZinc with Strings. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Christopher Mears |
PhD theses in constraints 2012-2015. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack |
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. |
CP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Leo, Guido Tack |
Multi-Pass High-Level Presolving. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer |
The MiniZinc Challenge 2008-2013. |
AI Magazine |
2014 |
DBLP BibTeX RDF |
|
| 1 | Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace 0001 |
Modelling with Option Types in MiniZinc. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Rendl, Guido Tack, Peter J. Stuckey |
Stochastic MiniZinc. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
View-Based Propagator Derivation - (Extended Abstract). |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
View-based propagator derivation. |
Constraints |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search combinators. |
Constraints |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Guido Tack |
MiniZinc with Functions. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt |
The MiningZinc Framework for Constraint-Based Itemset Mining. |
ICDM Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack |
Automated Design of Search with Composability. |
AAAI (Late-Breaking Developments) |
2013 |
DBLP BibTeX RDF |
|
| 1 | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Globalizing Constraint Models. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt |
MiningZinc: A Modeling Language for Constraint-Based Mining. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
An Introduction to Search Combinators. |
LOPSTR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey |
Memoizing a Monadic Mixin DSL. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
View-based Propagator Derivation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Raphael M. Reischuk, Christian Schulte 0001, Peter J. Stuckey, Guido Tack |
Maintaining State in Propagation Solvers. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
Weakly Monotonic Propagators. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
Perfect Derived Propagators |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
Perfect Derived Propagators. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mann, Guido Tack, Sebastian Will |
Decomposition During Search for Propagation-Based Constraint Solvers |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Rossberg, Guido Tack, Leif Kornstaedt |
Status report: hot pickles, and how to serve them. |
ML |
2007 |
DBLP DOI BibTeX RDF |
pickling, components, virtual machines, distributed programming, persistence, serialisation, marshalling |
| 1 | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
MiniZinc: Towards a Standard CP Modelling Language. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Leif Kornstaedt, Gert Smolka |
Generic Pickling and Minimization. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Christian Schulte 0001, Gert Smolka |
Generating Propagators for Finite Set Constraints. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
Views and Iterators for Generic Constraint Implementations. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001, Guido Tack |
Views and Iterators for Generic Constraint Implementations. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka |
Alice through the looking glass. |
Trends in Functional Programming |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guido Tack, Didier Le Botlan |
Compositional Abstractions for Search Factories. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license