Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2007.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2046879559
@@ Property / OpenAlex ID: W2046879559 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Representation of Directed Hypergraphs
@@ Property / cites work: Minimal Representation of Directed Hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating minimal unsatisfiable subformulae by means of adaptive core search
+Normal rank
@@ Property / cites work @@
+Extension and equivalence problems for clause minimal formulae
+Normal rank
@@ Property / cites work @@
+Minimum Witnesses for Unsatisfiable 2CNFs
@@ Property / cites work: Minimum Witnesses for Unsatisfiable 2CNFs / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+The directed subgraph homeomorphism problem
@@ Property / cites work: The directed subgraph homeomorphism problem / rank @@
+Normal rank
@@ Property / cites work @@
+Removing redundancy from a clause
@@ Property / cites work: Removing redundancy from a clause / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal compression of propositional Horn knowledge bases: Complexity and approximation
+Normal rank
@@ Property / cites work @@
+The Minimization Problem for Boolean Formulas
@@ Property / cites work: The Minimization Problem for Boolean Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Generating all maximal models of a Boolean expression
+Normal rank
@@ Property / cites work @@
+Approximating the Minimum Equivalent Digraph
@@ Property / cites work: Approximating the Minimum Equivalent Digraph / rank @@
+Normal rank
@@ Property / cites work @@
+The even-path problem for graphs and digraphs
@@ Property / cites work: The even-path problem for graphs and digraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. III: Non-monotonic reasoning
@@ Property / cites work: Redundancy in logic. III: Non-monotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Covers in Relational Database Model
@@ Property / cites work: Minimum Covers in Relational Database Model / 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 @@
+On Cores and Prime Implicants of Truth Functions
@@ Property / cites work: On Cores and Prime Implicants of Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Related Problems
@@ Property / cites work: Computationally Related Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Improving exact algorithms for MAX-2-SAT
@@ Property / cites work: Improving exact algorithms for MAX-2-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729669
@@ Property / cites work: Q2729669 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2389621