PAAR+SC²@IJCAR

Keyphrases

Publications

2024

Nahiyan Alamgir, Saeed Nejati, Curtis Bright
SHA-256 Collision Attack with Programmatic SAT. PAAR+SC²@IJCAR (2024)
Filip Bártek, Karel Chvalovský, Martin Suda
Cautious Specialization of Strategy Schedules (Extended Abstract). PAAR+SC²@IJCAR (2024)
Chad E. Brown, Mikolas Janota, Mirek Olsák
Symbolic Computation for All the Fun. PAAR+SC²@IJCAR (2024)
Julie Cailler, Simon Guilloud
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus. PAAR+SC²@IJCAR (2024)
Valentin Promies, Jasper Nalbach, Erika Ábrahám
Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR (2024)
Adam Dingle
A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress). PAAR+SC²@IJCAR (2024)
Zoltán Kovács, Reinhard Oldenburg
A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic. PAAR+SC²@IJCAR (2024)
Bruno Andreotti, Haniel Barbosa, Oliver Flatt
Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract). PAAR+SC²@IJCAR (2024)
Guy Axelrod, Willem Conradie
Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics. PAAR+SC²@IJCAR (2024)
Alexander Steen, Geoff Sutcliffe
TPTP World Infrastructure for Non-classical Logics. PAAR+SC²@IJCAR (2024)

volume 3717, 2024

Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024. PAAR+SC²@IJCAR 3717 (2024)

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)