Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings. Frisch, A. M., Peugniez, T. J., Doggett, A. J., & Nightingale, P. Journal of Automated Reasoning, 35:143-179, 2005.
bibtex   
@article{ Frisch+Peugniez/05/Solving,
  author    = {Alan M. Frisch and Timothy J. Peugniez and Anthony J. Doggett and Peter Nightingale},
  title     = {Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Study of Encodings},
  journal   = {Journal of Automated Reasoning},
  pages   = {143-179},
  volume   = {35} ,
  year   = {2005}
}

Downloads: 0