Skip to content

Structure-Guided Local Improvement for Maximum Satisfiability.

Andr Schidler, Stefan Szeider

VenueACP
Year2024
ProceedingsCP

Browse the full CP paper archive.