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

@@ 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