A pseudo-Boolean consensus approach to nonlinear 0-1 optimization (Q955309): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Upper-bounds for quadratic 0-1 maximization
@@ Property / cites work: Upper-bounds for quadratic 0-1 maximization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3315557
@@ Property / cites work: Q3315557 / rank @@
+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 @@
+Q4166695
@@ Property / cites work: Q4166695 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive and conjunctive normal forms of pseudo-Boolean functions
+Normal rank
@@ Property / cites work @@
+Q3292914
@@ Property / cites work: Q3292914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047457
@@ Property / cites work: Q4047457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318541
@@ Property / cites work: Q3318541 / rank @@
+Normal rank
@@ Property / cites work @@
+Roof duality, complementation and persistency in quadratic 0–1 optimization
+Normal rank
@@ Property / cites work @@
+Q3904382
@@ Property / cites work: Q3904382 / rank @@
+Normal rank
@@ Property / cites work @@
+Unimodular functions
@@ Property / cites work: Unimodular functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134012
@@ Property / cites work: Q4134012 / rank @@
+Normal rank
@@ Property / cites work @@
+A switching algorithm for the solution of quadratic Boolean equations
+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 @@
+Q4083731
@@ Property / cites work: Q4083731 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition of a class of unimodular functions
@@ Property / cites work: Recognition of a class of unimodular functions / rank @@
+Normal rank