Vol 10 (2016)

Table of Contents

Articles

Hard satisfiable 3-SAT instances via autocorrelation PDF
Srinivasan Arunachalam, Ilias Kotsireas 11-22

Proof Complexity

On Exponential Lower Bounds for Partially Ordered Resolution PDF
Mikolas Janota 1-9
On Linear Resolution PDF
Sam Buss, Jan Johannsen 23-35