Tilbage til artikeldetaljer Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms Download Download PDF