@article{Borchers99,
author = "B. Borchers and J. Furman",
journal = "Journal of Combinatorial Optimization",
number = "4",
pages = "299-306",
title = "{A} {T}wo-{P}hase {E}xact {A}lgorithm for {MAX}-{SAT} and {W}eighted                    {MAX}-{SAT} {P}roblems",
volume = "2",
year = "1999",
}