SAT-Based Formula Simplification (Q3453233): Difference between revisions

@@ Property / cites work @@
+Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
+Normal rank
@@ Property / cites work @@
+A GRASP algorithm to solve the unicost set covering problem
+Normal rank
@@ Property / cites work @@
+Towards efficient MUS extraction
@@ Property / cites work: Towards efficient MUS extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic minimization techniques with applications to cryptology
+Normal rank
@@ Property / cites work @@
+Q3680754
@@ Property / cites work: Q3680754 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Logic Programs
@@ Property / cites work: Minimal Logic Programs / 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 @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888830
@@ Property / cites work: Q4888830 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Maximum Satisfiability:
@@ Property / cites work: Quantified Maximum Satisfiability: / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified maximum satisfiability
@@ Property / cites work: Quantified maximum satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283008
@@ Property / cites work: Q5283008 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
+Normal rank
@@ Property / cites work @@
+Complexity minimization in rule-based category learning: revising the catalog of Boolean concepts and evidence for non-minimal rules
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
+Normal rank
@@ Property / cites work @@
+Fast, flexible MUS enumeration
@@ Property / cites work: Fast, flexible MUS enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / 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 @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Input Variable Assignment and Output Phase Optimization of PLA's
+Normal rank
@@ Property / cites work @@
+A note on the complexity of Boolean concepts
@@ Property / cites work: A note on the complexity of Boolean concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental Evaluation
+Normal rank
@@ Property / cites work @@
+Efficient Privacy-Preserving Ciphertext-Policy Attribute Based-Encryption and Broadcast Encryption
+Normal rank