Back to Results
First PageMeta Content
Complexity classes / ACC0 / Boolean circuit / PP / NC / Circuit / P / Circuit complexity / Theoretical computer science / Computational complexity theory / Applied mathematics


Document Date: 2010-12-07 14:10:50

Open Document

File Size: 420,68 KB

Share Result on Facebook

Company

3SAT / ACC0 We / /

Currency

pence / /

IndustryTerm

satisfiability algorithm / meta-algorithm / printing / above algorithm / non-trivial circuit satisfiability algorithm / clever dynamic programming algorithm / Web addendum / trivial satisfiability algorithm / approximate satisfiability algorithm / /

Organization

US Federal Reserve / /

Person

Cx / /

Product

t10 / /

ProgrammingLanguage

DC / /

ProvinceOrState

Oregon / Massachusetts / /

Technology

slightly non-trivial circuit satisfiability algorithm / above algorithm / satisfiability algorithm / approximate satisfiability algorithm / EXP algorithm / simulation / B.1.1 Non trivial satisfiability algorithm / SUCCINCT-SATn algorithm / clever dynamic programming algorithm / time algorithm / C. The algorithm / /

SocialTag