Abstract is missing.
- Animated Logic: Correct Functional Conversion to Conjunctive Normal FormPedro Barroso, Mário Pereira, António Ravara. 1-20 [doi]
- Learning Precedences from Simple Symbol FeaturesFilip Bártek, Martin Suda 0001. 21-33 [doi]
- Layered Clause Selection for Saturation-Based Theorem ProvingBernhard Gleiss, Martin Suda 0001. 34-52 [doi]
- Simplifying Casts and Coercions (Extended Abstract)Robert Y. Lewis, Paul-Nicolas Madelaine. 53-62 [doi]
- Evaluation of Axiom Selection TechniquesQinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe. 63-75 [doi]
- Equality Preprocessing in Connection CalculiBenjamin E. Oliver, Jens Otten. 76-92 [doi]
- Give Reasoning a TrieThomas Prokosch, François Bry. 93-108 [doi]
- Directed Graph Networks for Logical Reasoning (Extended Abstract)Michael Rawson, Giles Reger. 109-119 [doi]
- Efficient Implementation of Large-Scale WatchlistsConstantin Ruhdorfer, Stephan Schulz 0001. 120-133 [doi]
- Cutting Down the TPTP Language (And Others)Nahku Saidy, Hanna Siegfried, Stephan Schulz 0001, Geoff Sutcliffe. 134-147 [doi]
- Boolean Reasoning in a Higher-Order Superposition ProverPetar Vukmirovic, Visa Nummelin. 148-166 [doi]
- Querying the Guarded Fragment via Resolution (Extended Abstract)Sen Zheng, Renate A. Schmidt. 167-177 [doi]
- New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks. 178-188 [doi]
- Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) SolversChristoph Lüders. 189-203 [doi]
- realgeom Reasoning ToolRóbert Vajda, Zoltán Kovács. 204-219 [doi]