Open access

Propositional Proof Complexity and Cellular Automata

Written By

Stefano Cavagnetto

Submitted: June 25th, 2010 Published: April 11th, 2011

DOI: 10.5772/16030

Chapter metrics overview

1,980 Chapter Downloads

View Full Metrics

Written By

Stefano Cavagnetto

Submitted: June 25th, 2010 Published: April 11th, 2011