Discrete Lagrangian-Based Search for Solving MAX-SAT Problems

Wah and Shang. "Discrete Lagrangian-Based Search for Solving MAX-SAT Problems." International Joint Conference on Artificial Intelligence, 1997.

[Wah and Shang. "Discrete Lagrangian-Based Search for Solving MAX-SAT Problems." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/wah1997ijcai-discrete/)

@inproceedings{wah1997ijcai-discrete,
  title     = {{Discrete Lagrangian-Based Search for Solving MAX-SAT Problems}},
  author    = {Wah, Benjamin W. and Shang, Yi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {378-383},
  url       = {https://mlanthology.org/ijcai/1997/wah1997ijcai-discrete/}
}