CCASat
From MaRDI portal
Software:24847
No author found.
Related Items (14)
Solving the set packing problem via a maximum weighted independent set heuristic ⋮ CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability ⋮ New local search methods for partial MaxSAT ⋮ An efficient local search algorithm for solving maximum edge weight clique problem in large graphs ⋮ Go-MOCE: greedy order method of conditional expectations for Max Sat ⋮ Timescales of Boolean satisfiability solver using continuous-time dynamical system ⋮ An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem ⋮ CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability ⋮ Improving configuration checking for satisfiable random \(k\)-SAT instances ⋮ An efficient local search framework for the minimum weighted vertex cover problem ⋮ Local search for diversified top-\(k\) clique search problem ⋮ SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem ⋮ Using the method of conditional expectations to supply an improved starting point for CCLS ⋮ XOR local search for Boolean Brent equations
This page was built for software: CCASat
