ML Anthology

Additive Versus Multiplicative Clause Weighting for SAT

John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.
AAAI 2004 pp. 191-196
/aaai/2004/thornton2004aaai-additive/
PDF AAAI Semantic Scholar

Cite

Text

Thornton et al. "Additive Versus Multiplicative Clause Weighting for SAT." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Thornton et al. "Additive Versus Multiplicative Clause Weighting for SAT." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/thornton2004aaai-additive/)

BibTeX

@inproceedings{thornton2004aaai-additive,
  title     = {{Additive Versus Multiplicative Clause Weighting for SAT}},
  author    = {Thornton, John and Pham, Duc Nghia and Bain, Stuart and Jr., Valnir Ferreira},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {191-196},
  url       = {https://mlanthology.org/aaai/2004/thornton2004aaai-additive/}
}