ML Anthology

Three Truth Values for the SAT and MAX-SAT Problems

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao
IJCAI 2005 pp. 187-192
/ijcai/2005/lardeux2005ijcai-three/
PDF IJCAI Semantic Scholar

Cite

Text

Lardeux et al. "Three Truth Values for the SAT and MAX-SAT Problems." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Lardeux et al. "Three Truth Values for the SAT and MAX-SAT Problems." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/lardeux2005ijcai-three/)

BibTeX

@inproceedings{lardeux2005ijcai-three,
  title     = {{Three Truth Values for the SAT and MAX-SAT Problems}},
  author    = {Lardeux, Frédéric and Saubion, Frédéric and Hao, Jin-Kao},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {187-192},
  url       = {https://mlanthology.org/ijcai/2005/lardeux2005ijcai-three/}
}