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

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

Kaile Su, Shaowei Cai, Chuan Luo

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

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

Related Items

CCAnr

Uses Software

• SAT competition
• CCASat
• Coprocessor
• Sparrow2Riss

Cites Work

• SAT competition