ML Anthology

SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability

Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
AAAI 2005 pp. 455-460
/aaai/2005/pham2005aaai-sat/
PDF AAAI Semantic Scholar

Cite

Text

Pham et al. "SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Pham et al. "SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/pham2005aaai-sat/)

BibTeX

@inproceedings{pham2005aaai-sat,
  title     = {{SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability}},
  author    = {Pham, Duc Nghia and Thornton, John and Sattar, Abdul and Ishtaiwi, Abdelraouf},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {455-460},
  url       = {https://mlanthology.org/aaai/2005/pham2005aaai-sat/}
}