Progress towards the Holy Grail
From MaRDI portal
Publication:1616388
DOI10.1007/s10601-017-9275-0zbMath1402.90178OpenAlexW2764165883MaRDI QIDQ1616388
Publication date: 6 November 2018
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-017-9275-0
Related Items (6)
Efficient multiple constraint acquisition ⋮ Global domain views for expressive and cross-domain constraint programming ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Automatic generation of dominance breaking nogoods for a class of constraint optimization problems ⋮ A framework for step-wise explaining how to solve constraint satisfaction problems ⋮ Classifier-based constraint acquisition
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fast, flexible MUS enumeration
- Portfolio approaches for constraint optimization problems
- Constraint acquisition
- Data mining and constraint programming. Foundations of a cross-disciplinary approach
- Global constraint catalogue: past, present and future
- A constraint-based local search backend for MiniZinc
- The design of the zinc modelling language
- Essence: A constraint language for specifying combinatorial problems
- Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies
- Automatically improving constraint models in Savile Row
- Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
- In pursuit of the Holy Grail
- Automatic generation of redundant models for permutation constraint satisfaction problems
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability
- Acquiring Parameters of Implied Global Constraints
- Combinatorial Search: From Algorithms to Systems
- Learning Value Heuristics for Constraint Programming
- A context for constraint satisfaction problem formulation selection
- Consistency restoration and explanations in dynamic CSPs---Application to configuration
This page was built for publication: Progress towards the Holy Grail
