Chapters by Dr. Stefano Cavagnetto

• Book Chapter Propositional Proof Complexity and Cellular Automata
  by Stefano Cavagnetto in the book "Cellular Automata - Simplicity Behind Complexity" edited by Alejandro Salcido, ISBN 978-953-307-230-2, InTech, April 4, 2011