ML Anthology

Further Investigations into Regular XORSAT

Matti Järvisalo
AAAI 2006 pp. 1873-1874
/aaai/2006/jarvisalo2006aaai-further/

Abstract

Recent years have witnessed rapid progress both in the foundations of and in applying state-of-art solvers for the propositional satisfiability problem (SAT). The study of sources for hard SAT instances is motivated by the need for interesting

PDF AAAI Semantic Scholar

Cite

Text

Järvisalo. "Further Investigations into Regular XORSAT." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Järvisalo. "Further Investigations into Regular XORSAT." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/jarvisalo2006aaai-further/)

BibTeX

@inproceedings{jarvisalo2006aaai-further,
  title     = {{Further Investigations into Regular XORSAT}},
  author    = {Järvisalo, Matti},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {1873-1874},
  url       = {https://mlanthology.org/aaai/2006/jarvisalo2006aaai-further/}
}