Issue 3/2023
Content (11 Articles)
Open Access
SCL(EQ): SCL for First-Order Logic with Equality
Hendrik Leidinger, Christoph Weidenbach
Open Access
Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version
Andrei Popescu
Open Access
Binary Codes that do not Preserve Primitivity
Štěpán Holub, Martin Raška, Štěpán Starosta
A Resolution Proof System for Dependency Stochastic Boolean Satisfiability
Yun-Rong Luo, Che Cheng, Jie-Hong R. Jiang
Measure Construction by Extension in Dependent Type Theory with Application to Integration
Reynald Affeldt, Cyril Cohen
A Proof Procedure for Separation Logic with Inductive Definitions and Data
Mnacho Echenim, Nicolas Peltier
Open Access
Preprocessing of Propagation Redundant Clauses
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett, Cesare Tinelli