On-line 2-satisfiability (Q1356216): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+On-line computation of transitive closures of graphs
+Normal rank
@@ Property / cites work @@
+Amortized efficiency of a path retrieval data structure
+Normal rank
@@ Property / cites work @@
+A switching algorithm for the solution of quadratic Boolean equations
+Normal rank
@@ Property / cites work @@
+Experimental comparison of 2-satisfiability algorithms
+Normal rank
@@ Property / cites work @@
+Single bend wiring
@@ Property / cites work: Single bend wiring / rank @@
+Normal rank
@@ Property / cites work @@
+Q3732977
@@ Property / cites work: Q3732977 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1356216