Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381): Difference between revisions

@@ Property / describes a project that uses @@
+Mosek
@@ Property / describes a project that uses: Mosek / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+Q4149459
@@ Property / cites work: Q4149459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496016
@@ Property / cites work: Q4496016 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programming duality: an introduction to oriented matroids
+Normal rank
@@ Property / cites work @@
+Polynomial-time inference of all valid implications for Horn and related formulae
+Normal rank
@@ Property / cites work @@
+A Complexity Index for Satisfiability Problems
@@ Property / cites work: A Complexity Index for Satisfiability Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition of \(q\)-Horn formulae in linear time
@@ Property / cites work: Recognition of \(q\)-Horn formulae in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998725
@@ Property / cites work: Q3998725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858123
@@ Property / cites work: Q4858123 / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized Horn formulas and \(k\)-resolution
@@ Property / cites work: On generalized Horn formulas and \(k\)-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263797
@@ Property / cites work: Q4263797 / rank @@
+Normal rank
@@ Property / cites work @@
+On subclasses of minimal unsatisfiable formulas
@@ Property / cites work: On subclasses of minimal unsatisfiable formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of read-once resolution
@@ Property / cites work: The complexity of read-once resolution / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of tractable satisfiability problems
@@ Property / cites work: A hierarchy of tractable satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Tautologies and positive solvability of linear homogeneous systems
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
+Normal rank
@@ Property / cites work @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+A perspective on certain polynomial-time solvable classes of satisfiability
+Normal rank
@@ Property / cites work @@
+Polynomially solvable satisfiability problems
@@ Property / cites work: Polynomially solvable satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Autarky pruning in propositional model elimination reduces failure redundancy
+Normal rank
@@ Property / cites work @@
+New worst-case upper bounds for SAT
@@ Property / cites work: New worst-case upper bounds for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734936
@@ Property / cites work: Q2734936 / rank @@
+Normal rank
@@ Property / cites work @@
+Signsolvability revisited
@@ Property / cites work: Signsolvability revisited / rank @@
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+Normal rank
@@ Property / cites work @@
+On a generalization of extended resolution
@@ Property / cites work: On a generalization of extended resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations on autark assignments
@@ Property / cites work: Investigations on autark assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741528
@@ Property / cites work: Q2741528 / rank @@
+Normal rank
@@ Property / cites work @@
+Sign-consistency and solvability of constrained linear systems
+Normal rank
@@ Property / cites work @@
+Matching theory
@@ Property / cites work: Matching theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721816
@@ Property / cites work: Q3721816 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Parallel cooperative propositional theorem proving
+Normal rank
@@ Property / cites work @@
+Q3135082
@@ Property / cites work: Q3135082 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm for reducing the number of variables in MAX SAT problem
+Normal rank
@@ Property / cites work @@
+Q4488090
@@ Property / cites work: Q4488090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539605
@@ Property / cites work: Q4539605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+A short note on some tractable cases of the satisfiability problem.
+Normal rank
@@ Property / cites work @@
+Solving satisfiability problems using elliptic approximations -- effective branching rules
+Normal rank
@@ Property / cites work @@
+Two tractable subclasses of minimal unsatisfiable formulas
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0166-218x(02)00406-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2042705674
@@ Property / OpenAlex ID: W2042705674 / rank @@
+Normal rank