Djamal Habet, Michel Vasquez. Improving Local Search for Satisfiability Problem by Integrating Structural Properties. In 2007 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies, RIVF 2007, Hanoi, Vietnam, 5-9 March 2007. pages 50-57, IEEE, 2007. [doi]
@inproceedings{HabetV07, title = {Improving Local Search for Satisfiability Problem by Integrating Structural Properties}, author = {Djamal Habet and Michel Vasquez}, year = {2007}, doi = {10.1109/RIVF.2007.369135}, url = {http://dx.doi.org/10.1109/RIVF.2007.369135}, tags = {search}, researchr = {https://researchr.org/publication/HabetV07}, cites = {0}, citedby = {0}, pages = {50-57}, booktitle = {2007 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies, RIVF 2007, Hanoi, Vietnam, 5-9 March 2007}, publisher = {IEEE}, }