Login / Signup
Steve Joy
Publication Activity (10 Years)
Years Active: 1996-1996
Publications (10 Years): 0
</>
Publications
</>
Steve Joy
,
John E. Mitchell
,
Brian Borchers
A branch and cut algorithm for MAX-SAT and weighted MAX-SAT.
Satisfiability Problem: Theory and Applications
(1996)