How to get more out of your oracles (Q1687729): Difference between revisions

@@ 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/978-3-319-66107-0_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2749755840
@@ Property / OpenAlex ID: W2749755840 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22--26, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation
+Normal rank
@@ Property / cites work @@
+Sorting nine inputs requires twenty-five comparisons
+Normal rank
@@ Property / cites work @@
+Formally proving size optimality of sorting networks
+Normal rank
@@ Property / cites work @@
+Formally Proving the Boolean Pythagorean Triples Conjecture
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+A SAT Attack on the Erdős Discrepancy Conjecture
@@ Property / cites work: A SAT Attack on the Erdős Discrepancy Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Verification of SAT Refutations with Extended Resolution
+Normal rank