https://doi.org/10.1145/2975585¶
Toda, T., & Soh, T. (2016). https://doi.org/10.1145/2975585. ACM Journal of Experimental Algorithmics, 21.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Enumeration Algorithm
- Tree traversal, reverse search, indexed query cursors, and blocking or non-blocking model enumeration differ internally but implement the same all-solutions stream contract and output-sensitive ledger.
This sourceSurveys, implements, and experimentally compares blocking, non-blocking, and formula/BDD-caching approaches to AllSAT model enumeration.
- Tree traversal, reverse search, indexed query cursors, and blocking or non-blocking model enumeration differ internally but implement the same all-solutions stream contract and output-sensitive ledger.
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:efc6e8d632d2 · see in the full table