Pages that link to "Item:Q2434567"
From MaRDI portal
The following pages link to A taxonomy of exact methods for partial Max-SAT (Q2434567):
Displaying 8 items.
- New local search methods for partial MaxSAT (Q329035) (← links)
- Core-boosted linear search for incomplete MaxSAT (Q2327238) (← links)
- Investigation of maximum and minimum satisfiability problems using \(L\)-partition (Q2487731) (← links)
- Go-MOCE: greedy order method of conditional expectations for Max Sat (Q2691199) (← links)
- From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes (Q4645742) (← links)
- ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM (Q5151087) (← links)
- Community-Based Partitioning for MaxSAT Solving (Q5326461) (← links)
- A Spectral Method for MAX2SAT in the Planted Solution Model (Q5387750) (← links)