%0 Conference Paper %1 conf/aaai/WuW00 %A Wu, Zhe %A Wah, Benjamin W. %B AAAI/IAAI %D 2000 %E Kautz, Henry A. %E Porter, Bruce W. %I AAAI Press / The MIT Press %K dblp %P 310-315 %T An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2000.html#WuW00 %@ 0-262-51112-6

@inproceedings{conf/aaai/WuW00, added-at = {2024-01-19T00:00:00.000+0100}, author = {Wu, Zhe and Wah, Benjamin W.}, biburl = {https://www.bibsonomy.org/bibtex/29e08b12cff53ae017abfadd0d8c49ee1/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2000}, editor = {Kautz, Henry A. and Porter, Bruce W.}, ee = {http://www.aaai.org/Library/AAAI/2000/aaai00-048.php}, interhash = {474ee2e45d69993e18ed40755cc39d96}, intrahash = {9e08b12cff53ae017abfadd0d8c49ee1}, isbn = {0-262-51112-6}, keywords = {dblp}, pages = {310-315}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:07:07.000+0200}, title = {An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2000.html#WuW00}, year = 2000 }