Exploring Maximum Satisfiability Solving
Let's dive into the details surrounding Maximum Satisfiability Solving.
- This video is part of an online course, Intro to Theoretical Computer Science. Check out the course here: ...
- CP2021 presentation of the paper "Refined Core Relaxation for Core-Guided MaxSAT
- CP2021 presentation of the paper "Improving Local Search for Structured SAT Formulas via Unit Propagation based Initialization" ...
- Introduction to
- Presentation of CP2020 paper "Bounding Linear Programs by Constraint Propagation: Application to
In-Depth Information on Maximum Satisfiability Solving
Jeremias Berg (University of Helsinki), Matti Järvisalo (University of Helsinki), and Ruben Martins (CMU) ... André Schidler (TU Wien) https://simons.berkeley.edu/talks/andre-schidler-2023-04-17 Tutorial @ CAV 2017, Heidelberg Germany. Presentation of CP2020 ACP Doctoral Thesis Award Winner "
Scripts referenced in this video can be found on GitHub: https://github.com/HackingWithCODE/LunchCTF/tree/master/SATSMT.
That wraps up our extensive overview of Maximum Satisfiability Solving.