Introduction to Max-SAT and Max-SAT Evaluation
- 332 views
The slides for my talk on Feb. 27 2014 at ZIB. ...
The slides for my talk on Feb. 27 2014 at ZIB.
Maximum Satisfiability (Max-SAT) and its weighted variants are optimization extension of Boolean Satisfiability (SAT), and it is interesting that technologies from both AI/CP community and OR community are employed to solve Max-SAT problems.
In this talk, I present brief introduction of SAT/Max-SAT problems, some of solving approaches, and my experience of submitting SCIP and my own SAT-based solver "toysat" to the Max-SAT Evaluation 2013; the annual Max-SAT solver competition. After that, I would like to have a discussion on submitting SCIP to the upcoming Max-SAT Evaluation 2014.
- Total Views
- Views on SlideShare
- Embed Views