Revisiting maximum satisfiability and related problems in data streams (Q6199395): Difference between revisions

@@ 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 Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+New  $\frac{3}{4}$-Approximation Algorithms for the Maximum Satisfiability Problem
+Normal rank
@@ Property / cites work @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds
+Normal rank
@@ Property / cites work @@
+Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Approximation and Online Algorithms
@@ Property / cites work: Approximation and Online Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+The Minimum Satisfiability Problem
@@ Property / cites work: The Minimum Satisfiability Problem / rank @@
+Normal rank
@@ Property / cites work @@
+On approximation algorithms for the minimum satisfiability problem
+Normal rank
@@ Property / cites work @@
+On dependent randomized rounding algorithms
@@ Property / cites work: On dependent randomized rounding algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel approximation algorithms by positive linear programming
+Normal rank
@@ Property / cites work @@
+Sublinear Algorithms for (Δ + 1) Vertex Coloring
@@ Property / cites work: Sublinear Algorithms for (Δ + 1) Vertex Coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875640
@@ Property / cites work: Q5875640 / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal space lower bound for approximating MAX-CUT
+Normal rank
@@ Property / cites work @@
+A constraint optimization approach to causal discovery from subsampled time series data
+Normal rank
@@ Property / cites work @@
+Maximum satisfiability in software analysis: applications and techniques
+Normal rank
@@ Property / cites work @@
+Random sampling with a reservoir
@@ Property / cites work: Random sampling with a reservoir / rank @@
+Normal rank
@@ Property / cites work @@
+On randomized one-round communication complexity
@@ Property / cites work: On randomized one-round communication complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440423
@@ Property / cites work: Q4440423 / rank @@
+Normal rank