%0 Conference Paper %1 conf/mkm/JakubuvU16 %A Jakubuv, Jan %A Urban, Josef %B CICM %D 2016 %E Kohlhase, Michael %E Johansson, Moa %E Miller, Bruce R. %E de Moura, Leonardo %E Tompa, Frank Wm. %I Springer %K dblp %P 151-156 %T Extending E Prover with Similarity Based Clause Selection Strategies. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#JakubuvU16 %V 9791 %@ 978-3-319-42546-7

@inproceedings{conf/mkm/JakubuvU16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Jakubuv, Jan and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/279e9c178f24ba10a720d4bf68cef2261/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2016}, editor = {Kohlhase, Michael and Johansson, Moa and Miller, Bruce R. and de Moura, Leonardo and Tompa, Frank Wm.}, ee = {https://www.wikidata.org/entity/Q62044871}, interhash = {a68a0f125e2282564512f84300791307}, intrahash = {79e9c178f24ba10a720d4bf68cef2261}, isbn = {978-3-319-42546-7}, keywords = {dblp}, pages = {151-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:38.000+0200}, title = {Extending E Prover with Similarity Based Clause Selection Strategies.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#JakubuvU16}, volume = 9791, year = 2016 }