Sparrow2011

swMATH12927MaRDI QIDQ24850FDOQ24850

Author name not available (Why is that?)

Cited In (2)

• 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