Published 2006 | Version v1

Publication Metadata-only

OPTSAT: A Tool for Solving SAT Related Optimization Problems

Creators: GIUNCHIGLIA, ENRICO; MARATEA, MARCO

Others:: Giunchiglia, Enrico; Maratea, Marco

Additional details

Created:: March 31, 2023
Modified:: November 27, 2023