Pages that link to "Item:Q3524223"
From MaRDI portal
The following pages link to Neighbourhood Clause Weight Redistribution in Local Search for SAT (Q3524223):
Displaying 4 items.
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (Q502391) (← links)
- XOR local search for Boolean Brent equations (Q2118332) (← links)
- Meta-heuristics and artificial intelligence (Q6602249) (← links)
- Automated mathematical discovery and verification: minimizing pentagons in the plane (Q6648153) (← links)
