Back to Results
First PageMeta Content
Logic / Logic in computer science / Propositional calculus / Rules of inference / Logic programming / Resolution / Conjunctive normal form / Unit propagation / Proof complexity / Theoretical computer science / Automated theorem proving / Mathematical logic


From Small Space to Small Width in Resolution Yuval Filmus1 , Massimo Lauria2 , Mladen Mikša2 , Jakob Nordström2 , and Marc Vinyals2 1 2
Add to Reading List

Document Date: 2014-01-09 15:51:16

Open Document

File Size: 413,95 KB

Share Result on Facebook

City

Stockholm / /

Company

Creative Commons / Krajíček / Dagstuhl Publishing / Billy / /

Country

Germany / /

Event

Reorganization / /

Facility

KTH Royal Institute of Technology / Simons Institute / University of California / /

IndustryTerm

by-product / stronger proof systems / resolution proof systems / proof systems / /

Organization

University of California / Berkeley / Simons Institute for the Theory of Computing / Institute of Technology / USA School of Computer Science and Communication / /

Person

Mladen Mikša / Massimo Lauria / Bill Editors / Yuval Filmus / Jakob Nordström / Marc Vinyals / /

Position

Editor / /

ProvinceOrState

California / /

PublishedMedium

the Theory of Computing / /

Technology

2.2 Nonnumerical Algorithms / Digital Object Identifier / /

SocialTag