Original: https://ceur-ws.org/Vol-3717/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3717/ | Year: 2024

Vol-3717
urn:nbn:de:0074-3717-7

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

PAAR+SC-Square 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 IJCAR 2024

Nancy, France, July 2, 2024.

Edited by

Chris Brown
Daniela Kaufmann
Cláudia Nalon
Alexander Steen
Martin Suda

Table of Contents

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

2024-07-02: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|