Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.

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

Abstract

Metadata

Authors/Creators:
  • Frisch, A.M. (alan.frisch@cs.york.ac.uk)
  • Peugniez, T.J.
  • Doggett, A.J.
  • Nightingale, P.W.
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 04 May 2009 15:47
Last Modified: 04 May 2009 15:47
Published Version: http://dx.doi.org/10.1007/s10817-005-9011-0
Status: Published
Publisher: Springer Science + Business Media
Identification Number: https://doi.org/10.1007/s10817-005-9011-0

Share / Export

Statistics