An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems

Wu and Wah. "An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems." AAAI Conference on Artificial Intelligence, 2000.

[Wu and Wah. "An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/wu2000aaai-efficient/)

@inproceedings{wu2000aaai-efficient,
  title     = {{An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems}},
  author    = {Wu, Zhe and Wah, Benjamin W.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {310-315},
  url       = {https://mlanthology.org/aaai/2000/wu2000aaai-efficient/}
}