CCAnr

MaRDI QIDQ55822swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-24318-4_1

Described by source

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

Cited in

(13)

• SDSAT
• RPOLY
• 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
• CCASat
• New local search methods for partial MaxSAT
• YalSAT
• NLocalSAT
• probSAT
• CPSparrow
• gluHack
• Sparrow2Riss

This page was built for software: CCAnr