Probabilistic bounds and algorithms for the maximum satisfiability problem (Q920845): Difference between revisions

@@ Property / author @@
-Prékopa, András
@@ Property / author: Prékopa, András / rank @@
-Normal rank
@@ Property / author @@
+Prékopa, András
@@ Property / author: Prékopa, András / rank @@
+Normal rank
@@ 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 @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+A thermodynamically motivated simulation procedure for combinatorial optimization problems
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / 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 @@
+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 @@
+Q3827800
@@ Property / cites work: Q3827800 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+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 @@
+Average time analyses of simplified Davis-Putnam procedures
+Normal rank
@@ Property / cites work @@
+Roof duality, complementation and persistency in quadratic 0–1 optimization
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / 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 @@
+Resolution vs. cutting plane solution of inference problems: Some computational experience
+Normal rank
@@ Property / cites work @@
+On the complexity of the maximum satisfiability problem for Horn formulas
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q5535148
@@ Property / cites work: Q5535148 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Partial Satisfaction
@@ Property / cites work: Complexity of Partial Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic extremal problems in combinatorial optimization
+Normal rank
@@ Property / cites work @@
+Roof duality for polynomial 0–1 optimization
@@ Property / cites work: Roof duality for polynomial 0–1 optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Boole-Bonferroni Inequalities and Linear Programming
+Normal rank