Pages that link to "Item:Q3453204"
From MaRDI portal
The following pages link to CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (Q3453204):
Displayed 6 items.
- CCAnr (Q55822) (← links)
- New local search methods for partial MaxSAT (Q329035) (← links)
- Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient (Q2045943) (← links)
- Deep cooperation of CDCL and local search for SAT (Q2118286) (← links)
- XOR local search for Boolean Brent equations (Q2118332) (← links)
- Local Search For Satisfiability Modulo Integer Arithmetic Theories (Q6082229) (← links)