A Computing Procedure for Quantification Theory

Davis, M., & Putnam, H. (1960). A Computing Procedure for Quantification Theory. Journal of the ACM, 201-215.

Type

Journal article

Intellectual base

Primary research

Year

1960

DOI

10.1145/321033.321034

Link

https://doi.org/10.1145/321033.321034

Cited by

1 citation across 1 artifact.

Domain-specific

• Davis–Putnam Algorithm
  • The resulting formula may have different models and no longer mentions \(x\), but it is satisfiable exactly when the original formula is satisfiable.

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:5bdfbe3d5fd8 · see in the full table