Boosting SAT solver performance via a new hybrid approach

zbMATH Open1172.68617MaRDI QIDQ3620439FDOQ3620439

Authors: Lei Fang, Michael S. Hsiao 

Publication date: 14 April 2009

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

zbMATH Keywords

satisfiabilityDPLLWalkSAT

Mathematics Subject Classification ID

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

Cited In (5)

• Boosting local search thanks to \textsc{cdcl}
• Guiding high-performance SAT solvers with unsat-core predictions
• Improvements to Hybrid Incremental SAT Algorithms
• Optimizing S-Box Implementations for Several Criteria Using SAT Solvers
• Title not available (Why is that?)

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)