%0 Conference Paper %1 conf/rivf/HabetV07 %A Habet, Djamal %A Vasquez, Michel %B RIVF %D 2007 %I IEEE %K dblp %P 50-57 %T Improving Local Search for Satisfiability Problem by Integrating Structural Properties. %U http://dblp.uni-trier.de/db/conf/rivf/rivf2007.html#HabetV07

@inproceedings{conf/rivf/HabetV07, added-at = {2009-03-26T00:00:00.000+0100}, author = {Habet, Djamal and Vasquez, Michel}, biburl = {https://www.bibsonomy.org/bibtex/2f0d1f30881b799e5a5766c3806b556ff/dblp}, booktitle = {RIVF}, crossref = {conf/rivf/2007}, date = {2009-03-26}, description = {dblp}, ee = {http://dx.doi.org/10.1109/RIVF.2007.369135}, interhash = {fd10fdd39b643d2fe1ebbcfdaabaf227}, intrahash = {f0d1f30881b799e5a5766c3806b556ff}, keywords = {dblp}, pages = {50-57}, publisher = {IEEE}, timestamp = {2009-03-27T11:32:53.000+0100}, title = {Improving Local Search for Satisfiability Problem by Integrating Structural Properties.}, url = {http://dblp.uni-trier.de/db/conf/rivf/rivf2007.html#HabetV07}, year = 2007 }