Sparrow2011

MaRDI QIDQ24850swMATHFDO

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