PackUp
From MaRDI portal
Software:22015
No author found.
Related Items (3)
Exploiting Resolution-Based Representations for MaxSAT Solving ⋮ Open-WBO: A Modular MaxSAT Solver, ⋮ Reactive synthesis with maximum realizability of linear temporal logic specifications
This page was built for software: PackUp
