Liang, Hong-Yu; He, Jing Satisfiability with index dependency. (English) Zbl 1280.68110 J. Comput. Sci. Technol. 27, No. 4, 668-677 (2012). MSC: 68Q25 68Q17 68Q15 PDF BibTeX XML Cite \textit{H.-Y. Liang} and \textit{J. He}, J. Comput. Sci. Technol. 27, No. 4, 668--677 (2012; Zbl 1280.68110) Full Text: DOI
Liang, Hongyu; He, Jing Satisfiability with index dependency. (English) Zbl 1310.68114 Cheong, Otfried (ed.) et al., Algorithms and computation. 21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15–17, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-17516-9/pbk). Lecture Notes in Computer Science 6506, 49-60 (2010). MSC: 68Q25 PDF BibTeX XML Cite \textit{H. Liang} and \textit{J. He}, Lect. Notes Comput. Sci. 6506, 49--60 (2010; Zbl 1310.68114) Full Text: DOI