First Page | Document Content | |
---|---|---|
![]() Date: 2008-12-16 11:04:43Logic in computer science Automated theorem proving Constraint programming Boolean algebra Propositional calculus Unsatisfiable core Boolean satisfiability problem Resolution Maximum satisfiability problem Satisfiability Package manager Debian | Add to Reading List |