Zhe Wu, Benjamin W. Wah. Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems. In AAAI/IAAI. pages 673-678, 1999.
@inproceedings{WuW99:2,
title = {Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems},
author = {Zhe Wu and Benjamin W. Wah},
year = {1999},
researchr = {https://researchr.org/publication/WuW99%3A2},
cites = {0},
citedby = {0},
pages = {673-678},
booktitle = {AAAI/IAAI},
}