Analyzing Reformulation Performance in Core-Guided MaxSAT Solving.

Andr Schidler, Stefan Szeider

Browse the full SAT paper archive.