A logic language for combinatorial optimization (Q918429): Difference between revisions

@@ Property / describes a project that uses @@
+CHIP
@@ Property / describes a project that uses: CHIP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Une étude pratique de découpes de panneaux de bois
+Normal rank
@@ Property / cites work @@
+Solving large combinatorial problems in logic programming
+Normal rank
@@ Property / cites work @@
+Solving a cutting-stock problem with the constraint logic programming language CHIP
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing constraint expressions
@@ Property / cites work: Synthesizing constraint expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack Programming
@@ Property / cites work: Backtrack Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A language and a program for stating and solving combinatorial problems
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Letter to the Editor—On the Merit of the Generalized Origin and Restarts in Implicit Enumeration
+Normal rank
@@ Property / cites work @@
+Q3489527
@@ Property / cites work: Q3489527 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended unification algorithms for the integration of functional programming into logic programming
+Normal rank