%0 Journal Article %1 journals/tcs/ZhangG17 %A Zhang, Peng %A Gao, Yong %D 2017 %J Theor. Comput. Sci. %K dblp %P 98-110 %T A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming. %U http://dblp.uni-trier.de/db/journals/tcs/tcs657.html#ZhangG17 %V 657

@article{journals/tcs/ZhangG17, added-at = {2016-12-19T00:00:00.000+0100}, author = {Zhang, Peng and Gao, Yong}, biburl = {https://www.bibsonomy.org/bibtex/2b6f4648e0962fcd9c87529359e3a4e2f/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2016.04.041}, interhash = {62cf78ab705632e1e4246300e35b8fab}, intrahash = {b6f4648e0962fcd9c87529359e3a4e2f}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {98-110}, timestamp = {2016-12-20T11:36:26.000+0100}, title = {A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs657.html#ZhangG17}, volume = 657, year = 2017 }