Algorithms for (n,3)-MAXSAT and parameterization above the all-true assignment.
Saved in:
| Title: | Algorithms for (n,3)-MAXSAT and parameterization above the all-true assignment. |
|---|---|
| Authors: | Belova, Tatiana1, Bliznets, Ivan1,2, iabliznets@gmail.com |
| Source: | Theoretical Computer Science; Jan2020, Vol. 803, p222-233, 12p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2019.11.033 |
