Formula dissection: A parallel algorithm for constraint satisfaction (Q931750): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.camwa.2007.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2044212376
@@ Property / OpenAlex ID: W2044212376 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / 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 @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Scene Labeling by Relaxation Operations
@@ Property / cites work: Scene Labeling by Relaxation Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302462
@@ Property / cites work: Q4302462 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of recognizing polyhedral scenes
@@ Property / cites work: The complexity of recognizing polyhedral scenes / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism in random access machines
@@ Property / cites work: Parallelism in random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+Planar Formulae and Their Uses
@@ Property / cites work: Planar Formulae and Their Uses / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of a Planar Separator Theorem
@@ Property / cites work: Applications of a Planar Separator Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326832
@@ Property / cites work: Q3326832 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel concepts in graph theory
@@ Property / cites work: Parallel concepts in graph theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Separator Theorem for Planar Graphs
@@ Property / cites work: A Separator Theorem for Planar Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the Problem of Partitioning Planar Graphs
@@ Property / cites work: On the Problem of Partitioning Planar Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Algorithms in Graph Theory: Planarity Testing
+Normal rank
@@ Property / cites work @@
+A Simple Parallel Algorithm for the Maximal Independent Set Problem
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Using rewriting rules for connection graphs to prove theorems
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank