Rocket-Fast Proof Checking for SMT Solvers (Q5458346): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78800-3_38
+Normal rank
@@ Property / OpenAlex ID @@
+W155339612
@@ Property / OpenAlex ID: W155339612 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703706
@@ Property / cites work: Q2703706 / rank @@
+Normal rank
@@ Property / cites work @@
+CC(X): Semantic Combination of Congruence Closure with Solvable Theories
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient E-Matching for SMT Solvers
@@ Property / cites work: Efficient E-Matching for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Translation of resolution proofs into short first-order proofs without choice axioms
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2848688
@@ Property / cites work: Q2848688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809074
@@ Property / cites work: Q4809074 / rank @@
+Normal rank