Criticality and parallelism in GSAT

MaRDI QIDQ2741520zbMATH OpenFDO

Authors Andrea Roli

Publication date 24 September 2001

zbMATH Keywords

GSAT

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Recommendations

• scientific article; zbMATH DE number 1884354
• scientific article; zbMATH DE number 1149403
• Parallelizing local search for CNF satisfiability using vectorization and PVM
• A Theoretical Analysis of Search in GSAT
• ManySAT: a parallel SAT solver

Cited in

(2)

• Dynamical criticality: overview and open questions
• scientific article; zbMATH DE number 1884354 (Why is no real title available?)

This page was built for publication: Criticality and parallelism in GSAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2741520)