NP-Completeness of (k-SAT,r-UNk-SAT) and (LSAT ≥ k ,r-UNLSAT ≥ k )

DOI10.1007/978-3-540-69311-6_11zbMath1143.68403OpenAlexW1496485637MaRDI QIDQ3507322

Could not fetch data.

Publication date: 19 June 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69311-6_11

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.