A switching algorithm for the solution of quadratic Boolean equations (Q1153123): Difference between revisions

@@ Property / author @@
-Rossella Petreschi
@@ Property / author: Rossella Petreschi / rank @@
-Normal rank
@@ Property / author @@
-Bruno Simeone
@@ Property / author: Bruno Simeone / rank @@
-Normal rank
@@ Property / author @@
+Rossella Petreschi
@@ Property / author: Rossella Petreschi / rank @@
+Normal rank
@@ Property / author @@
+Bruno Simeone
@@ Property / author: Bruno Simeone / rank @@
+Normal rank
@@ 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/0020-0190(80)90049-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2033628874
@@ Property / OpenAlex ID: W2033628874 / 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 @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+Testing for Equality between Maximum Matching and Minimum Node Covering
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / rank @@
+Normal rank
@@ Property / cites work @@
+The disengagement algorithm or a new generalization of the exclusion algorithm
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank