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 | sets-graph-msuc-opt.ipepsAdd to Reading ListSource URL: tmancini.di.uniroma1.itDownload Document from Source WebsiteFile Size: 134,40 KBShare Document on Facebook |