CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability

DOI10.1007/978-3-319-24318-4_1zbMath1471.68240OpenAlexW2182702718MaRDI QIDQ3453204

Shaowei Cai, Chuan Luo, Kaile Su

Publication date: 20 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24318-4_1

Mathematics Subject Classification ID

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

Related Items

New local search methods for partial MaxSAT, Local Search For Satisfiability Modulo Integer Arithmetic Theories, Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient, CCAnr, Deep cooperation of CDCL and local search for SAT, XOR local search for Boolean Brent equations

Uses Software

• SAT competition
• CCASat
• Coprocessor
• Sparrow2Riss

Cites Work

• SAT competition
• Local search for Boolean satisfiability with configuration checking and subscore
• Local search with edge weighting and configuration checking heuristics for minimum vertex cover
• Improving Stochastic Local Search for SAT with a New Probability Distribution
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing