Propositional proof systems : efficiency and automatizability

Propositional proof systems : efficiency and automatizability

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2003.

Bibliographic Details
Main Author: Alekhnovitch, Mikhail, 1978-
Other Authors: Madhu Sudan.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2005
Subjects:
Mathematics.
Online Access:http://hdl.handle.net/1721.1/29344

Similar Items

Similar Items