Pages that link to "Item:Q2233496"
From MaRDI portal
The following pages link to Local search with a SAT oracle for combinatorial optimization (Q2233496):
Displaying 6 items.
- LocalSolver 1.x: A black-box local-search solver for 0-1 programming (Q657572) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Local search algorithms for SAT: an empirical evaluation (Q2749854) (← links)
- SAT local search algorithms: Worst-case study (Q2749857) (← links)
- (Q3604003) (← links)
- (Q5687271) (← links)