Sumários
MaxSAT - introduction
2 outubro 2019, 15:00 • Mikolas Janota
Introduction to the use of MaxSAT solvers. Modeling of problems as MaxSAT (vertex cover, maximum clique).
Overconstrained Problems
2 outubro 2019, 11:00 • Mikolas Janota
Introduction to overconstrained problems. MaxSAT. Modeling problems as MaxSAT. Solving MaxSAT by iterative SAT calls.
Cardinality and Pseudo-Boolean constraints
30 setembro 2019, 11:00 • Mikolas Janota
Solving optimization problems though iterative SAT calls. Encoding of Cardinality and Pseudo-Boolean constraints into CNF. Sequential counter, totalizer and their generalized versions. BDDs.
SAT solving
25 setembro 2019, 11:00 • Mikolas Janota
Overview of techniques of modern SAT solving. Unip propagation, DPLL, clause learning, CDCL.