Deep Cooperation of CDCL and Local Search for SAT
Shaowei Cai, Xindi Zhang
Topics & Concepts
Benchmark (surveying)Computer scienceHeuristicsLocal search (optimization)SolverBoolean satisfiability problemTheoretical computer scienceMathematical optimizationAlgorithmMathematicsProgramming languageGeodesyGeographyOperating systemConstraint Satisfaction and OptimizationFormal Methods in VerificationLogic, Reasoning, and Knowledge