Experimenting with SAT Solvers in Vampire

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

doi:10.1007/978-3-319-13647-9_39

Experimenting with SAT Solvers in Vampire

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

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Human-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
Pages	431-442
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-319-13647-9_39
Publication status	Published - 2014

Access to Document

10.1007/978-3-319-13647-9_39

Cite this

@inproceedings{5f8e719f138a43838397798719466b48,

title = "Experimenting with SAT Solvers in Vampire",

author = "Armin Biere and Ioan Dragan and Laura Kov{\'a}cs and Andrei Voronkov",

year = "2014",

doi = "10.1007/978-3-319-13647-9_39",

language = "English",

pages = "431--442",

booktitle = "Human-Inspired Computing and Its Applications - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Guti{\'e}rrez, Mexico, November 16-22, 2014. Proceedings, Part I",

}

Experimenting with SAT Solvers in Vampire. / Biere, Armin; Dragan, Ioan; Kovács, Laura et al.
Human-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. 2014. p. 431-442.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Experimenting with SAT Solvers in Vampire

AU - Biere, Armin

AU - Dragan, Ioan

AU - Kovács, Laura

AU - Voronkov, Andrei

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-13647-9_39

DO - 10.1007/978-3-319-13647-9_39

M3 - Conference contribution

SP - 431

EP - 442

BT - Human-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

ER -