default search action
7th PAAR / 5th SC² 2020: Online Event / Paris, France
- Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret:
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). CEUR Workshop Proceedings 2752, CEUR-WS.org 2020
Workshop on Practical Aspects of Automated Reasoning 2020
- Pedro Barroso, Mário Pereira, António Ravara:
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. 1-20 - Filip Bártek, Martin Suda:
Learning Precedences from Simple Symbol Features. 21-33 - Bernhard Gleiss, Martin Suda:
Layered Clause Selection for Saturation-Based Theorem Proving. 34-52 - Robert Y. Lewis, Paul-Nicolas Madelaine:
Simplifying Casts and Coercions (Extended Abstract). 53-62 - Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe:
Evaluation of Axiom Selection Techniques. 63-75 - Benjamin E. Oliver, Jens Otten:
Equality Preprocessing in Connection Calculi. 76-92 - Thomas Prokosch, François Bry:
Give Reasoning a Trie. 93-108 - Michael Rawson, Giles Reger:
Directed Graph Networks for Logical Reasoning (Extended Abstract). 109-119 - Constantin Ruhdorfer, Stephan Schulz:
Efficient Implementation of Large-Scale Watchlists. 120-133 - Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe:
Cutting Down the TPTP Language (And Others). 134-147 - Petar Vukmirovic, Visa Nummelin:
Boolean Reasoning in a Higher-Order Superposition Prover. 148-166 - Sen Zheng, Renate A. Schmidt:
Querying the Guarded Fragment via Resolution (Extended Abstract). 167-177
Satisfiability Checking and Symbolic Computation Workshop 2020
- Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks:
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). 178-188 - Christoph Lüders:
Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers. 189-203 - Róbert Vajda, Zoltán Kovács:
GeoGebra and the realgeom Reasoning Tool. 204-219
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: