Pages that link to "Item:Q2405896"
From MaRDI portal
The following pages link to Improved exact algorithms for mildly sparse instances of MAX SAT (Q2405896):
Displaying 4 items.
- Solving sparse instances of Max SAT via width reduction and greedy restriction (Q905695) (← links)
- Improved Exact Algorithms for Mildly Sparse Instances of Max SAT (Q5363763) (← links)
- A Spectral Method for MAX2SAT in the Planted Solution Model (Q5387750) (← links)
- Theory and Applications of Satisfiability Testing (Q5713725) (← links)