Pages that link to "Item:Q329035"
From MaRDI portal
The following pages link to New local search methods for partial MaxSAT (Q329035):
Displaying 4 items.
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (Q502391) (← links)
- New heuristic approaches for maximum balanced biclique problem (Q781924) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119) (← links)
