The following pages link to CCAnr (Q55822):
Displaying 4 items.
- 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)