ML Anthology

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search

Alan M. Frisch, Timothy J. Peugniez
IJCAI 2001 pp. 282-290
/ijcai/2001/frisch2001ijcai-solving/
Semantic Scholar

Cite

Text

Frisch and Peugniez. "Solving Non-Boolean Satisfiability Problems with Stochastic Local Search." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Frisch and Peugniez. "Solving Non-Boolean Satisfiability Problems with Stochastic Local Search." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/frisch2001ijcai-solving/)

BibTeX

@inproceedings{frisch2001ijcai-solving,
  title     = {{Solving Non-Boolean Satisfiability Problems with Stochastic Local Search}},
  author    = {Frisch, Alan M. and Peugniez, Timothy J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {282-290},
  url       = {https://mlanthology.org/ijcai/2001/frisch2001ijcai-solving/}
}