Backjump-based backtracking for constraint satisfaction problems (Q1605408): Difference between revisions

@@ Property / author @@
+Rina Dechter
@@ Property / author: Rina Dechter / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey
+Normal rank
@@ Property / cites work @@
+Using constraint metaknowledge to reduce arc consistency computation
+Normal rank
@@ Property / cites work @@
+Backtrack programming techniques
@@ Property / cites work: Backtrack programming techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717783
@@ Property / cites work: Q2717783 / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal k-consistency algorithm
@@ Property / cites work: An optimal k-consistency algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
+Normal rank
@@ 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 @@
+Local and global relational consistency
@@ Property / cites work: Local and global relational consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883524
@@ Property / cites work: Q3883524 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing constraint expressions
@@ Property / cites work: Synthesizing constraint expressions / rank @@
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack Programming
@@ Property / cites work: Backtrack Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687246
@@ Property / cites work: Q5687246 / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical evaluation of selected backtracking algorithms.
+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 @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
+Normal rank
@@ Property / cites work @@
+Solution techniques for constraint satisfaction problems: Advanced approaches
+Normal rank
@@ Property / cites work @@
+Solution techniques for constraint satisfaction problems: Foundations
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+Arc consistency for factorable relations.
@@ Property / cites work: Arc consistency for factorable relations. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473036
@@ Property / cites work: Q4473036 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+A generic arc-consistency algorithm and its specializations
+Normal rank