Satisfiability Problem

Dingzhu Du, J. G., & Pardalos, P. M. (1997). Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11-13, 1996.

Type

Unclassified

Intellectual base

Unclassified

Year

1997

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Maximum satisfiability problem
  • … from A canonical instance directly demonstrates that formula encoding, variable domain, clause weights, hard-versus-soft status, objective, and approximation or exactness claim are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

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:447b9b95db38 · see in the full table