Sparrow2011

swMATH12927MaRDI QIDQ24850FDOQ24850

Author name not available (Why is that?)

Official website: https://cs.uwaterloo.ca/~dtompkin/papers/satcomp11-sparrow.pdf

Cited In (4)

• ChainSAT
• Grid BnB
• Large-scale parallelism for constraint-based local search: the costas array case study
• Local search for Boolean satisfiability with configuration checking and subscore

This page was built for software: Sparrow2011