Essence: A constraint language for specifying combinatorial problems (Q941817): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-008-9047-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2016030731
@@ Property / OpenAlex ID: W2016030731 / rank @@
+Normal rank
@@ Property / cites work @@
+NP-SPEC: an executable specification language for solving all problems in NP
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4446268
@@ Property / cites work: Q4446268 / rank @@
+Normal rank
@@ Property / cites work @@
+A language and a program for stating and solving combinatorial problems
+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 @@
+Localizer
@@ Property / cites work: Localizer / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power and abstraction in Essence
@@ Property / cites work: Expressive power and abstraction in Essence / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank