%0 Conference Paper %1 conf/cp/LuoCWS13 %A Luo, Chuan %A Cai, Shaowei %A Wu, Wei %A Su, Kaile %B CP %D 2013 %E Schulte, Christian %I Springer %K dblp %P 481-496 %T Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. %U http://dblp.uni-trier.de/db/conf/cp/cp2013.html#LuoCWS13 %V 8124 %@ 978-3-642-40626-3

@inproceedings{conf/cp/LuoCWS13, added-at = {2024-03-20T00:00:00.000+0100}, author = {Luo, Chuan and Cai, Shaowei and Wu, Wei and Su, Kaile}, biburl = {https://www.bibsonomy.org/bibtex/2708cb1951033ad1d4f2aaa8c1939ca2e/dblp}, booktitle = {CP}, crossref = {conf/cp/2013}, editor = {Schulte, Christian}, ee = {https://doi.org/10.1007/978-3-642-40627-0_37}, interhash = {4ec4a16f9bd094d1da9ff6f3aa8e4e32}, intrahash = {708cb1951033ad1d4f2aaa8c1939ca2e}, isbn = {978-3-642-40626-3}, keywords = {dblp}, pages = {481-496}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:55.000+0200}, title = {Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2013.html#LuoCWS13}, volume = 8124, year = 2013 }