Proceedings of the thiry-fourth annual ACM symposium on Theory of computing

Sivakumar, D. (2002). Proceedings of the thiry-fourth annual ACM symposium on Theory of computing. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

2002

DOI

10.1145/509907.509996

Link

https://doi.org/10.1145/509907.509996

Cited by

1 citation across 1 artifact.

Domain-specific

• MAX-3SAT
  • MAX-3SAT maps each assignment to the count or total weight of its satisfied clauses and asks for an assignment attaining the maximum.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:1f30ca8f6fee · see in the full table