Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences Ying ShengAndres NötzliCesare Tinelli OriginalPaper 15 September 2023 Article: 32
Preprocessing of Propagation Redundant Clauses Joseph E. ReevesMarijn J. H. HeuleRandal E. Bryant OriginalPaper Open access 14 September 2023 Article: 31
A Proof Procedure for Separation Logic with Inductive Definitions and Data Mnacho EchenimNicolas Peltier OriginalPaper 09 September 2023 Article: 30
Mechanising Gödel–Löb Provability Logic in HOL Light Marco MaggesiCosimo Perini Brogi OriginalPaper Open access 29 August 2023 Article: 29
Measure Construction by Extension in Dependent Type Theory with Application to Integration Reynald AffeldtCyril Cohen OriginalPaper 18 August 2023 Article: 28
Cyclic Hypersequent System for Transitive Closure Logic Anupam DasMarianna Girlando OriginalPaper Open access 16 August 2023 Article: 27
A Resolution Proof System for Dependency Stochastic Boolean Satisfiability Yun-Rong LuoChe ChengJie-Hong R. Jiang OriginalPaper 03 August 2023 Article: 26
Binary Codes that do not Preserve Primitivity Štěpán HolubMartin RaškaŠtěpán Starosta OriginalPaper Open access 18 July 2023 Article: 25
POSIX Lexing with Derivatives of Regular Expressions Christian Urban OriginalPaper Open access 08 July 2023 Article: 24
Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version Andrei Popescu OriginalPaper Open access 05 July 2023 Article: 23
SCL(EQ): SCL for First-Order Logic with Equality Hendrik LeidingerChristoph Weidenbach OriginalPaper Open access 30 June 2023 Article: 22