Vampire getting noisy: Will random bits help conquer chaos? (system description) (Q2104552): Difference between revisions

@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+leanCoP
@@ Property / describes a project that uses: leanCoP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AVATAR
@@ Property / describes a project that uses: AVATAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+randoCoP
@@ Property / describes a project that uses: randoCoP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / 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/978-3-031-10769-6_38
+Normal rank
@@ Property / OpenAlex ID @@
+W4289104037
@@ Property / OpenAlex ID: W4289104037 / rank @@
+Normal rank
@@ Property / cites work @@
+On SAT instance classes and a method for reliable performance experiments with SAT solvers
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Selecting the Selection
@@ Property / cites work: Selecting the Selection / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination Procedures for CNF Formulas
@@ Property / cites work: Clause Elimination Procedures for CNF Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clauses in First-Order Logic
@@ Property / cites work: Blocked Clauses in First-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
+Normal rank
@@ Property / cites work @@
+Old or heavy? Decaying gracefully with age/weight shapes
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
+Normal rank
@@ Property / cites work @@
+AVATAR: The Architecture for First-Order Theorem Provers
+Normal rank