%0 Conference Paper %1 conf/cade/BiereDKV14 %A Biere, Armin %A Dragan, Ioan %A Kovács, Laura %A Voronkov, Andrei %B Vampire Workshop %D 2014 %E Kovács, Laura %E Voronkov, Andrei %I EasyChair %K dblp %P 29-32 %T SAT solving experiments in Vampire. %U http://dblp.uni-trier.de/db/conf/cade/vampire2014-15.html#BiereDKV14 %V 38

@inproceedings{conf/cade/BiereDKV14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Biere, Armin and Dragan, Ioan and Kovács, Laura and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/22fbb857a374ee1595d9d3a614e9dc266/dblp}, booktitle = {Vampire Workshop}, crossref = {conf/cade/2014-15vampire}, editor = {Kovács, Laura and Voronkov, Andrei}, ee = {https://doi.org/10.29007/5l47}, interhash = {e7e53db03a74af4080affa6c5766f19e}, intrahash = {2fbb857a374ee1595d9d3a614e9dc266}, keywords = {dblp}, pages = {29-32}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {SAT solving experiments in Vampire.}, url = {http://dblp.uni-trier.de/db/conf/cade/vampire2014-15.html#BiereDKV14}, volume = 38, year = 2014 }