Optimality certificates, MIP style
Session date: 20 June 2023
Session host: Konstantin Sidorov
Summary:
An overview of techniques for solving Satisfiability Modulo Theory problems and logging the solver decisions.
Session date: 20 June 2023
Session host: Konstantin Sidorov
Summary:
An overview of techniques for solving Satisfiability Modulo Theory problems and logging the solver decisions.