Pages that link to "Item:Q2749855"
From MaRDI portal
The following pages link to Guided local search for solving SAT and weighted MAX-SAT problems (Q2749855):
Displaying 6 items.
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (Q502391) (← links)
- Solving weighted MAX-SAT via global equilibrium search (Q1003491) (← links)
- Guided local search for solving SAT and weighted MAX-SAT problems (Q1977758) (← links)
- Guided local search joins the elite in discrete optimisation (Q2751577) (← links)
- Hybrid Metaheuristics: An Introduction (Q2950517) (← links)
- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem (Q4930591) (← links)