SAT Solvers: Themes, cont.
Randomization (as discussed)
Hybrid solvers --- Algorithm Portfolios
(Hogg & Hubermann 1997; Gomes & Selman 1997)
Using LP relaxations (Warners & van Maaren 1998)
Between 2SAT / 3SAT:
Mixture can behave as pure 2SAT!
(Kirkpatrick, Selman, et al. 1996 / 1998)