%0 Journal Article %1 journals/tcyb/LuoCSW15 %A Luo, Chuan %A Cai, Shaowei %A Su, Kaile %A Wu, Wei %D 2015 %J IEEE Trans. Cybern. %K dblp %N 5 %P 1014-1027 %T Clause States Based Configuration Checking in Local Search for Satisfiability. %U http://dblp.uni-trier.de/db/journals/tcyb/tcyb45.html#LuoCSW15 %V 45

@article{journals/tcyb/LuoCSW15, added-at = {2024-03-20T00:00:00.000+0100}, author = {Luo, Chuan and Cai, Shaowei and Su, Kaile and Wu, Wei}, biburl = {https://www.bibsonomy.org/bibtex/27cc522708eec13bae90f99502c12f7d2/dblp}, ee = {https://www.wikidata.org/entity/Q51053987}, interhash = {1bfd5bc92c7c70b71e17da47fe2c11d8}, intrahash = {7cc522708eec13bae90f99502c12f7d2}, journal = {IEEE Trans. Cybern.}, keywords = {dblp}, number = 5, pages = {1014-1027}, timestamp = {2024-04-08T17:40:41.000+0200}, title = {Clause States Based Configuration Checking in Local Search for Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/tcyb/tcyb45.html#LuoCSW15}, volume = 45, year = 2015 }