G. Neil Haven

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Paul Walton Purdom Jr., G. Neil Haven
Probe Order Backtracking. SIAM J. Comput. 26 (2) (1997)
Paul Walton Purdom Jr., G. Neil Haven
Backtracking and probing. Satisfiability Problem: Theory and Applications (1996)