Back to Results
First PageMeta Content
Complexity classes / NP-complete problems / Boolean algebra / Electronic design automation / Formal methods / Boolean satisfiability problem / Conjunctive normal form / NP-complete / Canonical form / Theoretical computer science / Mathematics / Applied mathematics


CS 170 Algorithms Spring 2009
Add to Reading List

Document Date: 2009-05-04 23:56:17

Open Document

File Size: 99,50 KB

Share Result on Facebook

Company

CNF / 3SAT / /

IndustryTerm

polynomial-time algorithm / homework solution / valid solution / /

OperatingSystem

Linux / /

Person

Carol / Alice / Bob / David Wagner / /

Technology

Linux / polynomial-time algorithm / 170 Algorithms / /

URL

http /

SocialTag