First Page | Document Content | |
---|---|---|
![]() Date: 2012-12-18 03:41:56Logic Mathematical logic Mathematics Propositional calculus Automated theorem proving Boolean algebra Syntax Boolean satisfiability problem Clause Valuation Propositional variable Unit propagation | Add to Reading List |