Sumários
Minimal correction sets
16 outubro 2019, 11:00 • Mikolas Janota
Minimal correction sets (MCSs) and Maximal Satisfiable Sets (MSSs). Definitions and algorithms. Global vs local minima, i.e. MaxSAT vs MCS.
Minimal Unsatisfiable Subformulas
14 outubro 2019, 11:00 • Mikolas Janota
Motivation and algorithms for Minimal Unsatisfiable Subformulas (MUS). Insertion/Deletion based, dichotomy. Optimizations: cores, model rotation.
OPB Solvers
9 outubro 2019, 15:00 • Mikolas Janota
Solving optimization problems with Pseudo-Boolean solvers
OPB Solving
9 outubro 2019, 11:00 • Mikolas Janota
Solving optimization problems under Pseudo-Boolean constraints. Relaxed linear problem, branch and bound, cutting planes, branch and cut.
Core guided MaxSAT solving
7 outubro 2019, 11:00 • Mikolas Janota
The idea of an unsat core and motivation. Core guided MaxSAT - Fu&Malik and MSU3 algorithms.