![Logic in computer science / NP-complete problems / Automated theorem proving / Constraint programming / Electronic design automation / Boolean satisfiability problem / Resolution / Conjunctive normal form / Satisfiability Modulo Theories / Theoretical computer science / Mathematics / Applied mathematics Logic in computer science / NP-complete problems / Automated theorem proving / Constraint programming / Electronic design automation / Boolean satisfiability problem / Resolution / Conjunctive normal form / Satisfiability Modulo Theories / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/90e6afcc77242b5c8106bc5bb51b4d70.jpg)
| Document Date: 2008-01-31 13:42:07 Open Document File Size: 292,58 KBShare Result on Facebook
City Austin / / Company RTL / IBM / Berkeley IBM Systems / Intel / Technology Group / / Facility University of California / / IndustryTerm logic network / internal verification tool / search space / verification systems / / OperatingSystem Linux / / Organization University of California / Berkeley / US Federal Reserve / / Product Bounded Model Checking / / ProvinceOrState California / / Technology assignment Algorithm / Conflict-Guided Simplification algorithm / DPLL-style SAT algorithms / 3 Algorithm / CAV / finite state machine / Linux / /
SocialTag |