%0 Journal Article %1 journals/ai/XingZ05 %A Xing, Zhao %A Zhang, Weixiong %D 2005 %J Artif. Intell. %K dblp %N 1-2 %P 47-80 %T MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability. %U http://dblp.uni-trier.de/db/journals/ai/ai164.html#XingZ05 %V 164

@article{journals/ai/XingZ05, added-at = {2022-10-02T00:00:00.000+0200}, author = {Xing, Zhao and Zhang, Weixiong}, biburl = {https://www.bibsonomy.org/bibtex/218a4dbd1864545f6d8c298907a44a6e8/dblp}, ee = {https://doi.org/10.1016/j.artint.2005.01.004}, interhash = {1870d976894a20a1161ca55061f5a8f1}, intrahash = {18a4dbd1864545f6d8c298907a44a6e8}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {47-80}, timestamp = {2024-04-08T17:20:41.000+0200}, title = {MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai164.html#XingZ05}, volume = 164, year = 2005 }