Interpolant Learning and Reuse in SAT-Based Model Checking (Q2864382): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2006.12.021
@@ Property / DOI: 10.1016/j.entcs.2006.12.021 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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.entcs.2006.12.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2129952473
@@ Property / OpenAlex ID: W2129952473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729082
@@ Property / cites work: Q2729082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427894
@@ Property / cites work: Q4427894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551177
@@ Property / cites work: Q4551177 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+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 @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / 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 @@
+Q4417922
@@ Property / cites work: Q4417922 / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / 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 @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417909
@@ Property / cites work: Q4417909 / rank @@
+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 @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Q2754108
@@ Property / cites work: Q2754108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2006.12.021
@@ Property / DOI: 10.1016/J.ENTCS.2006.12.021 / rank @@
+Normal rank