Solving MAXSAT by Decoupling Optimization and Satisfaction
Many problems that arise in the real world are difficult to solve partly because they present computational challenges. Many of these challenging problems are optimization problems. In the real world we are generally interested not just in solutions but in the cost or benefit of these solutions ac...
Main Author: | |
---|---|
Other Authors: | |
Language: | en_ca |
Published: |
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/1807/43539 |