![NP-complete problems / Mathematical logic / Electronic design automation / Formal methods / Logic in computer science / Boolean satisfiability problem / Resolution / Satisfiability Modulo Theories / If and only if / Theoretical computer science / Mathematics / Logic NP-complete problems / Mathematical logic / Electronic design automation / Formal methods / Logic in computer science / Boolean satisfiability problem / Resolution / Satisfiability Modulo Theories / If and only if / Theoretical computer science / Mathematics / Logic](https://www.pdfsearch.io/img/9fa40db18107b9ccb86d732feb827f1d.jpg)
| Document Date: 2015-05-19 13:22:05 Open Document File Size: 195,63 KBShare Result on Facebook
Company CNF / / / IndustryTerm congruence closure algorithm / linear time algorithm / / Position model for the following satisfiable formula / / Technology linear time algorithm / congruence closure algorithm / /
SocialTag |