Items where authors include "Peugniez, T.J."
Jump to: Article
Number of items: 1.
Article
Frisch, A.M., Peugniez, T.J., Doggett, A.J. et al. (1 more author) (2005) Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Journal of Automated Reasoning, 35 ( 1-3). pp. 143-179. ISSN 0168-7433