Hongyu Liang, Jing He. Satisfiability with Index Dependency. In Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park, editors, Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I. Volume 6506 of Lecture Notes in Computer Science, pages 49-60, Springer, 2010. [doi]
@inproceedings{LiangH10-0, title = {Satisfiability with Index Dependency}, author = {Hongyu Liang and Jing He}, year = {2010}, doi = {10.1007/978-3-642-17517-6_7}, url = {http://dx.doi.org/10.1007/978-3-642-17517-6_7}, researchr = {https://researchr.org/publication/LiangH10-0}, cites = {0}, citedby = {0}, pages = {49-60}, booktitle = {Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I}, editor = {Otfried Cheong and Kyung-Yong Chwa and Kunsoo Park}, volume = {6506}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-17516-9}, }