1. Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences

   • Ying Sheng
   • Andres Nötzli
   • Cesare Tinelli

   OriginalPaper 15 September 2023 Article: 32

   

2. Preprocessing of Propagation Redundant Clauses

   • Joseph E. Reeves
   • Marijn J. H. Heule
   • Randal E. Bryant

   OriginalPaper Open access 14 September 2023 Article: 31

   

3. A Proof Procedure for Separation Logic with Inductive Definitions and Data

   • Mnacho Echenim
   • Nicolas Peltier

   OriginalPaper 09 September 2023 Article: 30

   

4. Mechanising Gödel–Löb Provability Logic in HOL Light

   • Marco Maggesi
   • Cosimo Perini Brogi

   OriginalPaper Open access 29 August 2023 Article: 29

   

5. Measure Construction by Extension in Dependent Type Theory with Application to Integration

   • Reynald Affeldt
   • Cyril Cohen

   OriginalPaper 18 August 2023 Article: 28

   

6. Cyclic Hypersequent System for Transitive Closure Logic

   • Anupam Das
   • Marianna Girlando

   OriginalPaper Open access 16 August 2023 Article: 27

   

7. A Resolution Proof System for Dependency Stochastic Boolean Satisfiability

   • Yun-Rong Luo
   • Che Cheng
   • Jie-Hong R. Jiang

   OriginalPaper 03 August 2023 Article: 26

   

8. Binary Codes that do not Preserve Primitivity

   • Štěpán Holub
   • Martin Raška
   • Štěpán Starosta

   OriginalPaper Open access 18 July 2023 Article: 25

   

9. POSIX Lexing with Derivatives of Regular Expressions

   • Christian Urban

   OriginalPaper Open access 08 July 2023 Article: 24

   

10. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version

    • Andrei Popescu

    OriginalPaper Open access 05 July 2023 Article: 23

    

11. SCL(EQ): SCL for First-Order Logic with Equality

    • Hendrik Leidinger
    • Christoph Weidenbach

    OriginalPaper Open access 30 June 2023 Article: 22