Resolution and the integrality of satisfiability problems (Q1352293): Difference between revisions

@@ Property / author @@
-John N. Hooker
@@ Property / author: John N. Hooker / rank @@
-Normal rank
@@ Property / author @@
+John N. Hooker
@@ Property / author: John N. Hooker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Balanced matrices
@@ Property / cites work: Balanced matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228441
@@ Property / cites work: Q4228441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133404
@@ Property / cites work: Q4133404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic satisfiability
@@ Property / cites work: Probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Column Generation Methods for Probabilistic Logic
@@ Property / cites work: Column Generation Methods for Probabilistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the maximum satisfiability problem for Horn formulas
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Characterizations of Unimodular Matrices
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02592142
+Normal rank
@@ Property / OpenAlex ID @@
+W2048762035
@@ Property / OpenAlex ID: W2048762035 / rank @@
+Normal rank