Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition.

Bernardo Subercaseaux

Browse the full LPAR paper archive.