Algorithms for computing minimal equivalent subformulas (Q460638): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2014.07.011
@@ Property / DOI: 10.1016/j.artint.2014.07.011 / rank @@
-Normal rank
@@ Property / author @@
-João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
-Normal rank
@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bloqqer
@@ Property / describes a project that uses: Bloqqer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PicoSAT
@@ Property / describes a project that uses: PicoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUICKXPLAIN
@@ Property / describes a project that uses: QUICKXPLAIN / rank @@
+Normal rank
@@ 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.2014.07.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2091072454
@@ Property / OpenAlex ID: W2091072454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
+Normal rank
@@ Property / cites work @@
+On the power of clause-learning SAT solvers as resolution engines
+Normal rank
@@ Property / cites work @@
+Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
+Normal rank
@@ Property / cites work @@
+Logical and algorithmic properties of stable conditional independence
+Normal rank
@@ Property / cites work @@
+Failed Literal Detection for QBF
@@ Property / cites work: Failed Literal Detection for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Removing propagation redundant constraints in redundant modeling
+Normal rank
@@ Property / cites work @@
+Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
+Normal rank
@@ Property / cites work @@
+A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
+Normal rank
@@ Property / cites work @@
+On Improving MUS Extraction Algorithms
@@ Property / cites work: On Improving MUS Extraction Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
+Normal rank
@@ Property / cites work @@
+Towards efficient MUS extraction
@@ Property / cites work: Towards efficient MUS extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604000
@@ Property / cites work: Q3604000 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+MUST: Provide a Finer-Grained Explanation of Unsatisfiability
+Normal rank
@@ Property / cites work @@
+Minimal Representation of Directed Hypergraphs
@@ Property / cites work: Minimal Representation of Directed Hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal compression of propositional Horn knowledge bases: Complexity and approximation
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. II: 2CNF and Horn 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 @@
+Eliminating Redundant Clauses in SAT Instances
@@ Property / cites work: Eliminating Redundant Clauses in SAT Instances / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472089
@@ Property / cites work: Q5472089 / rank @@
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level logic minimization: an overview
@@ Property / cites work: Two-level logic minimization: an overview / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of Boolean formula minimization
@@ Property / cites work: The complexity of Boolean formula minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Guaranteed MUSes Fast
@@ Property / cites work: Finding Guaranteed MUSes Fast / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Combination of Decision Procedures for MUS Computation
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+The scaling window of the 2-SAT transition
@@ Property / cites work: The scaling window of the 2-SAT transition / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and practice of constraint programming. 18th international conference, CP 2012, Québec City, QC, Canada, October 8--12, 2012. Proceedings
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2014.07.011
@@ Property / DOI: 10.1016/J.ARTINT.2014.07.011 / rank @@
+Normal rank