Next: About this document ...
A WebPage on SAT algorithms
by William Gasarch
(For now this is just papers and talks that I want to gather in one place)
- Compact talk on 3-SAt and MIS
- 2-SAT in P and MAX 2-SAT NPC.
Slides by Muli Safra.
- Algorithms for 3-SAT.
A talk by Bill Gasarch based on the literature as presented in
the AWESOME book
The Satisfiability Problem SAT, Algorithms and Analyzes
Uwe Schoning and Jacob.
- Backdoor Variables and other approaches to SAT.
A talk by Marco Gario.
- Maximum Ind Sets
A talk by Bill Gasarch, but based on the literature
as described in the AWESOME book:
Exact Exponential Algorithms
by Fedor Formin and Dieter Kratsch.
- Published paper by Robson that claims to improve MIS