CCAnr

swMATH40122MaRDI QIDQ55822FDOQ55822

Author name not available (Why is that?)

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)

• Deep cooperation of CDCL and local search for SAT
• XOR local search for Boolean Brent equations
• New local search methods for partial MaxSAT
• Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient
• SDSAT
• RPOLY
• CCASat
• YalSAT
• CPSparrow
• gluHack
• NLocalSAT
• probSAT
• Sparrow2Riss

This page was built for software: CCAnr