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