Pages that link to "Item:Q2405896"

The following pages link to Improved exact algorithms for mildly sparse instances of MAX SAT (Q2405896):

Displaying 3 items.

• Solving sparse instances of Max SAT via width reduction and greedy restriction (Q905695) (← links)
• A Spectral Method for MAX2SAT in the Planted Solution Model (Q5387750) (← links)
• Theory and Applications of Satisfiability Testing (Q5713725) (← links)