Filter
Chapter

Search results

  • 2004

    A case for efficient solution enumeration

    Khurshid, S., Marinov, D., Shlyakhter, I. & Jackson, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Giunchiglia, E. & Tacchella, A. (eds.). Springer, p. 272-286 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2919).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Integrating model checking and theorem proving for relational reasoning

    Arkoudas, K., Khurshid, S., Marinov, D. & Rinard, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berghammer, R., Moller, B. & Struth, G. (eds.). Springer, p. 21-33 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3051).

    Research output: Chapter in Book/Report/Conference proceedingChapter