On the Computational Complexity of MaxSAT

Citation:
Halaby, M. E., "On the Computational Complexity of MaxSAT", ECCC (Electronic Colloquium on Computational Complexity), 2016.

Date Presented:

2016

Related External Link

Computational Compelxity:

Parameterized Complexity

Artificial Intelligence:

MaxSAT

PreviewAttachmentSize
on_the_computational_complexity_of_maxsat.pdf636.33 KB