Back to Results
First PageMeta Content
Complexity classes / True quantified Boolean formula / PSPACE-complete / FO / NP / P / NSPACE / DSPACE / Cook–Levin theorem / Theoretical computer science / Computational complexity theory / Applied mathematics


Document Date: 2007-01-08 22:00:38

Open Document

File Size: 374,16 KB

Share Result on Facebook

Company

3SAT / CNF / /

/

IndustryTerm

recursive algorithm / web crawling / breadth-first search algorithm / Internet draft / computing / /

Organization

DRAFT Chapter / Princeton University / /

Person

Robert Tarjan / Shimon Even / Sanjeev Arora / Boaz Barak / /

Technology

search algorithm / /

SocialTag