ML Anthology

Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems

Zhe Wu, Benjamin W. Wah
AAAI 1999 pp. 673-678
/aaai/1999/wu1999aaai-trap/
PDF AAAI Semantic Scholar

Cite

Text

Wu and Wah. "Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems." AAAI Conference on Artificial Intelligence, 1999.

Markdown

[Wu and Wah. "Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/wu1999aaai-trap/)

BibTeX

@inproceedings{wu1999aaai-trap,
  title     = {{Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems}},
  author    = {Wu, Zhe and Wah, Benjamin W.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {673-678},
  url       = {https://mlanthology.org/aaai/1999/wu1999aaai-trap/}
}