%0 Conference Paper %1 conf/ictai/WuW99 %A Wu, Zhe %A Wah, Benjamin W. %B ICTAI %D 1999 %I IEEE Computer Society %K dblp %P 210-217 %T Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers. %U http://dblp.uni-trier.de/db/conf/ictai/ictai1999.html#WuW99 %@ 0-7695-0456-6

@inproceedings{conf/ictai/WuW99, added-at = {2014-12-19T00:00:00.000+0100}, author = {Wu, Zhe and Wah, Benjamin W.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2adcec0c033678aa62af330df534d2e37/dblp}, booktitle = {ICTAI}, crossref = {conf/ictai/1999}, ee = {http://doi.ieeecomputersociety.org/10.1109/TAI.1999.809788}, interhash = {9d94e8714a642571e3048edf07bf46bd}, intrahash = {adcec0c033678aa62af330df534d2e37}, isbn = {0-7695-0456-6}, keywords = {dblp}, pages = {210-217}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:45:56.000+0100}, title = {Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai1999.html#WuW99}, year = 1999 }