Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+On the complexity of approximating the independent set problem
+Normal rank
@@ Property / cites work @@
+The Uniform Minimum-Ones 2SAT Problem and its Application to Haplotype Classification
+Normal rank
@@ Property / cites work @@
+Minimum Witnesses for Unsatisfiable 2CNFs
@@ Property / cites work: Minimum Witnesses for Unsatisfiable 2CNFs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2934608
@@ Property / cites work: Q2934608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On finding short resolution refutations and small unsatisfiable subsets
+Normal rank
@@ Property / cites work @@
+Exact exponential algorithms.
@@ Property / cites work: Exact exponential algorithms. / rank @@
+Normal rank
@@ Property / cites work @@
+Kernelization
@@ Property / cites work: Kernelization / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699307
@@ Property / cites work: Q4699307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4764626
@@ Property / cites work: Q4764626 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding read-once resolution refutations in systems of 2CNF clauses
+Normal rank
@@ Property / cites work @@
+Restricted cutting plane proofs in Horn constraint systems
+Normal rank
@@ Property / cites work @@
+Read-once resolutions in Horn formulas
@@ Property / cites work: Read-once resolutions in Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471290
@@ Property / cites work: Q4471290 / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+What is answer set programming to propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Answer Set Programming
@@ Property / cites work: Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231923
@@ Property / cites work: Q4231923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539605
@@ Property / cites work: Q4539605 / rank @@
+Normal rank