CCAnr: a configuration checking based local search solver for non-random satisfiability

DOI10.1007/978-3-319-24318-4_1MaRDI QIDQ3453204zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Local search for Boolean satisfiability with configuration checking and subscore
• Improving local search for random 3-SAT using quantitative configuration checking
• Improving configuration checking for satisfiable random \(k\)-SAT instances
• scientific article; zbMATH DE number 5510694
• Captain Jack: new variable selection heuristics in local search for SAT

Cites work

• Improving stochastic local search for SAT with a new probability distribution
• Local search for Boolean satisfiability with configuration checking and subscore
• Local search with edge weighting and configuration checking heuristics for minimum vertex cover
• SAT competition
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing

Cited in

(11)

• Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient
• Deep cooperation of CDCL and local search for SAT
• XOR local search for Boolean Brent equations
• New local search methods for partial MaxSAT
• Improving local search for random 3-SAT using quantitative configuration checking
• Local search for Boolean satisfiability with configuration checking and subscore
• Improving configuration checking for satisfiable random \(k\)-SAT instances
• CCAnr
• Local Search For Satisfiability Modulo Integer Arithmetic Theories
• Local Search for SMT on Linear Integer Arithmetic
• Separation between Walksat and DPLL

Describes a project that uses

Uses Software

• SAT competition
• Sparrow2Riss
• CCASat
• Coprocessor

This page was built for publication: CCAnr: a configuration checking based local search solver for non-random satisfiability

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