PAAR+SC²@IJCAR

Keyphrases

Publications

2020

Robert Y. Lewis, Paul-Nicolas Madelaine
Simplifying Casts and Coercions (Extended Abstract). PAAR+SC²@IJCAR (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). PAAR+SC²@IJCAR (2020)
Michael Rawson, Giles Reger
Directed Graph Networks for Logical Reasoning (Extended Abstract). PAAR+SC²@IJCAR (2020)
Filip Bártek, Martin Suda
Learning Precedences from Simple Symbol Features. PAAR+SC²@IJCAR (2020)
Petar Vukmirovic, Visa Nummelin
Boolean Reasoning in a Higher-Order Superposition Prover. PAAR+SC²@IJCAR (2020)
Róbert Vajda, Zoltán Kovács
Reasoning Tool. PAAR+SC²@IJCAR (2020)
Bernhard Gleiss, Martin Suda
Layered Clause Selection for Saturation-Based Theorem Proving. PAAR+SC²@IJCAR (2020)
Sen Zheng, Renate A. Schmidt
Querying the Guarded Fragment via Resolution (Extended Abstract). PAAR+SC²@IJCAR (2020)
Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe
Evaluation of Axiom Selection Techniques. PAAR+SC²@IJCAR (2020)
Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe
Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR (2020)
Constantin Ruhdorfer, Stephan Schulz
Efficient Implementation of Large-Scale Watchlists. PAAR+SC²@IJCAR (2020)
Pedro Barroso, Mário Pereira, António Ravara
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. PAAR+SC²@IJCAR (2020)
Thomas Prokosch, François Bry
Give Reasoning a Trie. PAAR+SC²@IJCAR (2020)
Christoph Lüders
Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers. PAAR+SC²@IJCAR (2020)
Benjamin E. Oliver, Jens Otten
Equality Preprocessing in Connection Calculi. PAAR+SC²@IJCAR (2020)

volume 2752, 2020

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). PAAR+SC²@IJCAR 2752 (2020)