Dynamic variable ordering in graph based backjumping algorithms for csps (Q4511615): Difference between revisions

@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+Normal rank
@@ Property / cites work @@
+Tree clustering for constraint networks
@@ Property / cites work: Tree clustering for constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction operations for constraint satisfaction
@@ Property / cites work: Reduction operations for constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for Backtrack-Free Search
@@ Property / cites work: A Sufficient Condition for Backtrack-Free Search / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack programming techniques
@@ Property / cites work: Backtrack programming techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Estimating the Efficiency of Backtrack Programs
@@ Property / cites work: Estimating the Efficiency of Backtrack Programs / rank @@
+Normal rank