Timothy J. Peugniez

Publication Activity (10 Years)

Years Active: 2001-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)
Alan M. Frisch, Timothy J. Peugniez
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. IJCAI (2001)