GRASP: A Search Algorithm for Propositional Satisfiability.

Marques-Silva, J. P., & Sakallah, K. A. (1999). GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers, 48(5), 506-521.

Type

Journal article

Intellectual base

Primary research

Year

1999

DOI

10.1109/12.769433

Link

https://doi.org/10.1109/12.769433

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Stack
  • The backtracking-search stack transferred from the DPLL algorithm into modern SAT and SMT solvers, where CDCL manipulates the stack with clause learning.

    This sourceDevelops conflict-driven clause learning (CDCL) extending the backtracking DPLL stack in modern SAT solvers.

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