MaxSAT Resolution and Subcube Sums (Q5875950): Difference between revisions

@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Size-degree trade-offs for sums-of-squares and positivstellensatz proofs
+Normal rank
@@ Property / cites work @@
+Circular (yet sound) proofs
@@ Property / cites work: Circular (yet sound) proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Maximally Long
@@ Property / cites work: Narrow Proofs May Be Maximally Long / rank @@
+Normal rank
@@ Property / cites work @@
+Size-Space Tradeoffs for Resolution
@@ Property / cites work: Size-Space Tradeoffs for Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Near optimal seperation of tree-like and general resolution
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Q3304105
@@ Property / cites work: Q3304105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5769706
@@ Property / cites work: Q5769706 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence between systems stronger than resolution
+Normal rank
@@ Property / cites work @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+An observation on time-storage trade off
@@ Property / cites work: An observation on time-storage trade off / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Semialgebraic Proofs and Efficient Algorithm Design
+Normal rank
@@ Property / cites work @@
+Q4736859
@@ Property / cites work: Q4736859 / rank @@
+Normal rank
@@ Property / cites work @@
+Extension Complexity of Independent Set Polytopes
@@ Property / cites work: Extension Complexity of Independent Set Polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Rectangles Are Nonnegative Juntas
@@ Property / cites work: Rectangles Are Nonnegative Juntas / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On tackling the limits of resolution in SAT solving
+Normal rank
@@ Property / cites work @@
+Q4937847
@@ Property / cites work: Q4937847 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean function complexity. Advances and frontiers.
+Normal rank
@@ Property / cites work @@
+A logical approach to efficient Max-SAT solving
@@ Property / cites work: A logical approach to efficient Max-SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a better understanding of (partial weighted) MaxSAT proof systems
+Normal rank
@@ Property / cites work @@
+Tight size-degree bounds for sums-of-squares proofs
+Normal rank
@@ Property / cites work @@
+Lifting Theorems for Equality
@@ Property / cites work: Lifting Theorems for Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Long Proofs of (Seemingly) Simple Formulas
@@ Property / cites work: Long Proofs of (Seemingly) Simple Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952609
@@ Property / cites work: Q4952609 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+sgen1
@@ Property / cites work: sgen1 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional                                                   Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-One Designs Produce Small Hard SAT Instances
@@ Property / cites work: Zero-One Designs Produce Small Hard SAT Instances / rank @@
+Normal rank