CCAnr

swMATH40122MaRDI QIDQ55822

No author found.

Described by source

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

Related Items (4)

New local search methods for partial MaxSAT ⋮ 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

This page was built for software: CCAnr