Report - Bibliography - University of British Columbiahoos/SLS-Internal/bib.pdf · 372 BIBLIOGRAPHY [Borchers and Furman, 1999] B. Borchers and J. Furman. A two-phase ex-act algorithmfor MAX-SAT

Please pass captcha verification before submit form