%0 Conference Paper %1 conf/micai/BiereDKV14 %A Biere, Armin %A Dragan, Ioan %A Kovács, Laura %A Voronkov, Andrei %B MICAI (1) %D 2014 %E Gelbukh, Alexander F. %E Castro-Espinoza, Félix %E Galicia-Haro, Sofía N. %I Springer %K dblp %P 431-442 %T Experimenting with SAT Solvers in Vampire. %U http://dblp.uni-trier.de/db/conf/micai/micai2014-1.html#BiereDKV14 %V 8856 %@ 978-3-319-13646-2

@inproceedings{conf/micai/BiereDKV14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Biere, Armin and Dragan, Ioan and Kovács, Laura and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/23b695714f49d70bf2e781b707245791c/dblp}, booktitle = {MICAI (1)}, crossref = {conf/micai/2014-1}, editor = {Gelbukh, Alexander F. and Castro-Espinoza, Félix and Galicia-Haro, Sofía N.}, ee = {https://doi.org/10.1007/978-3-319-13647-9_39}, interhash = {8e27db14f613294a9640dfd448f45a1b}, intrahash = {3b695714f49d70bf2e781b707245791c}, isbn = {978-3-319-13646-2}, keywords = {dblp}, pages = {431-442}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:17:16.000+0200}, title = {Experimenting with SAT Solvers in Vampire.}, url = {http://dblp.uni-trier.de/db/conf/micai/micai2014-1.html#BiereDKV14}, volume = 8856, year = 2014 }