scuttle_core::algs

Module bioptsat

Source
Expand description

§BiOptSat Algorithm for Bi-Objective Optimization

§References

  • [1] Christoph Jabs and Jeremias Berg and Andreas Niskanen and Matti Järvisalo: MaxSAT-Based Bi-Objective Boolean Optimization, SAT 2022.

Structs§

BiOptSat
The BiOptSat algorithm type