@article(wolfman-ker-2001-lpsat, author= {Steven A. Wolfman and Daniel S. Weld}, title= {Combining Linear Programming and Satisfiability Solving for Resource Planning}, journal= {The Knowledge Engineering Review}, volume = {16}, number= {1}, pages = {85--99}, year = {2001}, url= {\url{http://www.cs.ubc.ca/~wolf/papers/ker-lpsat.pdf}}, )