Login / Signup
Anthony J. Doggett
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Alan M. Frisch
,
Timothy J. Peugniez
,
Anthony J. Doggett
,
Peter Nightingale
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.
J. Autom. Reason.
35 (1-3) (2005)