Progress towards the Holy Grail (Q1616388): Difference between revisions

@@ Property / describes a project that uses @@
+Proteus
@@ Property / describes a project that uses: Proteus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zinc
@@ Property / describes a project that uses: Zinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUICKXPLAIN
@@ Property / describes a project that uses: QUICKXPLAIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-017-9275-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2764165883
@@ Property / OpenAlex ID: W2764165883 / rank @@
+Normal rank
@@ Property / cites work @@
+Portfolio approaches for constraint optimization problems
+Normal rank
@@ Property / cites work @@
+Consistency restoration and explanations in dynamic CSPs---Application to configuration
+Normal rank
@@ Property / cites work @@
+Q4530856
@@ Property / cites work: Q4530856 / rank @@
+Normal rank
@@ Property / cites work @@
+Global constraint catalogue: past, present and future
+Normal rank
@@ Property / cites work @@
+Acquiring Parameters of Implied Global Constraints
+Normal rank
@@ Property / cites work @@
+Data mining and constraint programming. Foundations of a cross-disciplinary approach
+Normal rank
@@ Property / cites work @@
+Constraint acquisition
@@ Property / cites work: Constraint acquisition / rank @@
+Normal rank
@@ Property / cites work @@
+A constraint-based local search backend for MiniZinc
+Normal rank
@@ Property / cites work @@
+A context for constraint satisfaction problem formulation selection
+Normal rank
@@ Property / cites work @@
+Q4475664
@@ Property / cites work: Q4475664 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Value Heuristics for Constraint Programming
+Normal rank
@@ Property / cites work @@
+In pursuit of the Holy Grail
@@ Property / cites work: In pursuit of the Holy Grail / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475666
@@ Property / cites work: Q4475666 / rank @@
+Normal rank
@@ Property / cites work @@
+Essence: A constraint language for specifying combinatorial problems
+Normal rank
@@ Property / cites work @@
+Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+MUST: Provide a Finer-Grained Explanation of Unsatisfiability
+Normal rank
@@ Property / cites work @@
+Combinatorial Search: From Algorithms to Systems
@@ Property / cites work: Combinatorial Search: From Algorithms to Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of redundant models for permutation constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Fast, flexible MUS enumeration
@@ Property / cites work: Fast, flexible MUS enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+The design of the zinc modelling language
@@ Property / cites work: The design of the zinc modelling language / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically improving constraint models in Savile Row
+Normal rank