Modular Constraint Solver Cooperation via Abstract Interpretation (Q5140021): Difference between revisions

@@ Property / describes a project that uses @@
+Gecode
@@ Property / describes a project that uses: Gecode / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01415
@@ Property / arXiv ID: 2008.01415 / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of constraint propagation
@@ Property / cites work: The essence of constraint propagation / rank @@
+Normal rank
@@ Property / cites work @@
+Encodings of the Sequence Constraint
@@ Property / cites work: Encodings of the Sequence Constraint / rank @@
+Normal rank
@@ Property / cites work @@
+Job-shop scheduling with multi-purpose machines
@@ Property / cites work: Job-shop scheduling with multi-purpose machines / rank @@
+Normal rank
@@ Property / cites work @@
+Theories, solvers and static analysis by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract satisfaction
@@ Property / cites work: Abstract satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
+Normal rank
@@ Property / cites work @@
+Tabu search for the job-shop scheduling problem with multi-purpose machines
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+A Constraint Solver Based on Abstract Domains
@@ Property / cites work: A Constraint Solver Based on Abstract Domains / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5140021