Experimenting with SAT Solvers in Vampire

Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationHuman-Inspired Computing and Its Applications - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I
    Pages431-442
    Number of pages12
    DOIs
    Publication statusPublished - 2014

    Cite this