Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-015-0229-0
@@ Property / DOI: 10.1007/s10703-015-0229-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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.1007/s10703-015-0229-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2027979159
@@ Property / OpenAlex ID: W2027979159 / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Properties preserved in subdirect products
@@ Property / cites work: Properties preserved in subdirect products / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Approximation Refinement for Interpolation-Based Model Checking
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient and Flexible Approach to Resolution Proof Reduction
+Normal rank
@@ Property / cites work @@
+Compression of Propositional Resolution Proofs via Partial Regularization
+Normal rank
@@ Property / cites work @@
+Improved Single Pass Algorithms for Resolution Proof Reduction
+Normal rank
@@ Property / cites work @@
+Two Techniques for Minimizing Resolution Proofs
@@ Property / cites work: Two Techniques for Minimizing Resolution Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Benchmarking a model checker for algorithmic improvements and tuning for performance
+Normal rank
@@ Property / cites work @@
+Optimization techniques for Craig interpolant compaction in unbounded model checking
+Normal rank
@@ Property / cites work @@
+Resolution proof transformation for compression and interpolation
+Normal rank
@@ Property / cites work @@
+Efficient Generation of Small Interpolants in CNF
@@ Property / cites work: Efficient Generation of Small Interpolants in CNF / 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 / DOI @@
+.1007/S10703-015-0229-0
@@ Property / DOI: 10.1007/S10703-015-0229-0 / rank @@
+Normal rank