PDF Document

Source URL: www.mancoosi.org

• Logic 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