On Some Aspects of Mixed Horn Formulas (Q3637161): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02777-2_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2162357359
@@ Property / OpenAlex ID: W2162357359 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429016
@@ Property / cites work: Q3429016 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors
+Normal rank
@@ Property / cites work @@
+Nested satisfiability
@@ Property / cites work: Nested satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of mixed Horn formulas
@@ Property / cites work: Satisfiability of mixed Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Linear CNF formulas and satisfiability
@@ Property / cites work: Linear CNF formulas and satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741531
@@ Property / cites work: Q2741531 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank