Keyword:Blocked-clause Addition

Publications
Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition Bernardo Subercaseaux In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning