Open access

Propositional Proof Complexity and Cellular Automata

Written By

Stefano Cavagnetto

Submitted: 25 June 2010 Published: 11 April 2011

DOI: 10.5772/16030

From the Edited Volume

Cellular Automata - Simplicity Behind Complexity

Edited by Alejandro Salcido

Chapter metrics overview

2,134 Chapter Downloads

View Full Metrics

Written By

Stefano Cavagnetto

Submitted: 25 June 2010 Published: 11 April 2011