Explaining Propagation for Gini and Spread with Variable Mean | 0 | 0.34 | 2022 |
Globalizing constraint models | 0 | 0.34 | 2022 |
Supporting The Problem-Solving Loop: Designing Highly Interactive Optimisation Systems | 0 | 0.34 | 2021 |
Declarative Local-Search Neighbourhoods in MiniZinc | 0 | 0.34 | 2018 |
Solution Dominance over Constraint Satisfaction Problems. | 0 | 0.34 | 2018 |
A Novel Approach To String Constraint Solving | 0 | 0.34 | 2017 |
Introduction to the special issue on Combining Constraint Solving with Mining and Learning | 1 | 0.39 | 2017 |
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. | 9 | 0.51 | 2017 |
MiningZinc: A declarative framework for constraint-based mining | 6 | 0.47 | 2017 |
PhD theses in constraints. | 0 | 0.34 | 2017 |
Visual search tree profiling | 3 | 0.40 | 2016 |
Learning From Learning Solvers | 0 | 0.34 | 2016 |
MiniZinc with Strings. | 1 | 0.35 | 2016 |
Improved Linearization Of Constraint Programming Models | 6 | 0.47 | 2016 |
Multi-Pass High-Level Presolving. | 6 | 0.44 | 2015 |
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy | 1 | 0.35 | 2015 |
PhD theses in constraints 2012–2015 | 0 | 0.34 | 2015 |
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. | 6 | 0.46 | 2015 |
The MiniZinc Challenge 2008-2013. | 18 | 0.66 | 2014 |
Modelling with Option Types in MiniZinc. | 2 | 0.37 | 2014 |
Stochastic MiniZinc. | 0 | 0.34 | 2014 |
View-Based Propagator Derivation - (Extended Abstract). | 0 | 0.34 | 2014 |
MiningZinc: a modeling language for constraint-based mining | 12 | 0.53 | 2013 |
The MiningZinc Framework for Constraint-Based Itemset Mining | 1 | 0.34 | 2013 |
Automated Design of Search with Composability. | 1 | 0.35 | 2013 |
MiniZinc with Functions. | 4 | 0.41 | 2013 |
An Introduction to Search Combinators. | 0 | 0.34 | 2012 |
Memoizing a monadic mixin DSL | 0 | 0.34 | 2011 |
Search combinators | 3 | 0.41 | 2011 |
View-based propagator derivation | 3 | 0.47 | 2009 |
Weakly Monotonic Propagators | 5 | 0.44 | 2009 |
Perfect Derived Propagators | 3 | 0.42 | 2008 |
Status report: hot pickles, and how to serve them | 3 | 0.44 | 2007 |
Decomposition During Search for Propagation-Based Constraint Solvers | 3 | 0.54 | 2007 |
MiniZinc: towards a standard CP modelling language | 232 | 8.38 | 2007 |
Generic Pickling and Minimization | 4 | 0.46 | 2006 |
Generating propagators for finite set constraints | 9 | 0.60 | 2006 |
Views and Iterators for Generic Constraint Implementations | 21 | 1.43 | 2005 |
Compositional abstractions for search factories | 0 | 0.34 | 2004 |
Alice through the looking glass. | 14 | 2.73 | 2004 |