A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems¶

Brian Borchers, J. F. (1998). A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems.

Type: Unclassified
Intellectual base: Unclassified
Year: 1998
DOI: 10.1023/a:1009725216438
Link: https://doi.org/10.1023/a:1009725216438

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Maximum satisfiability problem
- The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

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:171539eeeeec · see in the full table