First Page | Document Content | |
---|---|---|
![]() Date: 2012-12-16 04:54:55Logic in computer science Operations research Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Maximum satisfiability problem ZYpp Solver Theoretical computer science Applied mathematics Mathematics | Source URL: www.mancoosi.orgDownload Document from Source WebsiteFile Size: 52,04 KBShare Document on Facebook |