"An improved time-space lower bound for tautologies."

Scott Diehl, Dieter van Melkebeek, Ryan Williams (2011)

Details and statistics

DOI: 10.1007/S10878-009-9286-X

access: closed

type: Journal Article

metadata version: 2018-11-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics