Boosting SAT solver performance via a new hybrid approach

MaRDI QIDQ3620439zbMATH OpenFDO

Authors Lei Fang, Michael S. Hsiao

Publication date 14 April 2009

zbMATH Keywords

DPLLsatisfiabilityWalkSAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Improvements to Hybrid Incremental SAT Algorithms
• Boosting local search thanks to \textsc{cdcl}
• Solving SAT Problem Based on Hybrid Differential Evolution Algorithm
• scientific article; zbMATH DE number 1903342
• scientific article; zbMATH DE number 2090309

Cited in

(5)

• Guiding high-performance SAT solvers with unsat-core predictions
• scientific article; zbMATH DE number 5139172 (Why is no real title available?)
• Improvements to Hybrid Incremental SAT Algorithms
• Optimizing S-Box Implementations for Several Criteria Using SAT Solvers
• Boosting local search thanks to \textsc{cdcl}

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Boosting SAT solver performance via a new hybrid approach

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