CCAnr

swMATH40122MaRDI QIDQ55822FDOQ55822

Author name not available (Why is that?)

Described by source

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

Cited In (4)

• 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

This page was built for software: CCAnr