Work

Short Proofs May Be Spacious: An Optimal Separation of Space and Length in Resolution

Year: 2008

Type: conference-paper

Source: Annual Symposium on Foundations of Computer Science

DOI: 10.1109/focs.2008.42

Authors: Eli Ben-Sasson, Jakob Nordström

Institutions: Technion – Israel Institute of Technology, KTH Royal Institute of Technology

Language: English

Topic: Complexity and Algorithms in Graphs

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Israel Science Foundation

OpenAlex ID: W255293273

FWCI: 3.256

Cites: 43

Cited by: 63

Related to: 10