@inproceedings{1994bf8c2cf6403aa7727d07d3c334d4,
title = "Short proofs are narrow - resolution made simple",
abstract = "The width of a Resolution proof is the maximal number of literals in any clause of the proof. In this work, proof width is related to proof size, both in general Resolution, and its tree-like variant. The main result is a relation between these two fundamental resources.",
author = "Eli Ben-Sasson and Avi Wigderson",
year = "1999",
language = "אנגלית",
isbn = "0769500757",
series = "Proceedings of the Annual IEEE Conference on Computational Complexity",
publisher = "IEEE Comp Soc",
pages = "2",
booktitle = "Proceedings of the Annual IEEE Conference on Computational Complexity",
note = "Proceedings of the 1999 14th Annual IEEE Conference on Computational Complexity ; Conference date: 04-05-1999 Through 06-05-1999",
}