Keyword:CNF formulas

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
New CNF Features and Formula Classification Enrique Alfonso and Norbert Manthey In:POS-14. Fifth Pragmatics of SAT workshop