The slides for my talk on Feb. 27 2014 at ZIB. ...

The slides for my talk on Feb. 27 2014 at ZIB.

Abstract:

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.

### Statistics

### Views

- Total Views
- 332
- Views on SlideShare
- 332
- Embed Views

### Actions

- Likes
- 0
- Downloads
- 2
- Comments
- 0

### Accessibility

### Categories

### Upload Details

Uploaded via SlideShare as Adobe PDF

### Usage Rights

© All Rights Reserved

No comments yet1Full NameComment goes here.