%0 Conference Paper %1 conf/cade/KaliszykUV14 %A Kaliszyk, Cezary %A Urban, Josef %A Vyskocil, Jirí %B PAAR@IJCAR %D 2014 %E Schulz, Stephan %E de Moura, Leonardo %E Konev, Boris %I EasyChair %K dblp %P 60-66 %T Machine Learner for Automated Reasoning 0.4 and 0.5. %U http://dblp.uni-trier.de/db/conf/cade/paar2014.html#KaliszykUV14 %V 31

@inproceedings{conf/cade/KaliszykUV14, added-at = {2021-08-15T00:00:00.000+0200}, author = {Kaliszyk, Cezary and Urban, Josef and Vyskocil, Jirí}, biburl = {https://www.bibsonomy.org/bibtex/2934991a1f85448946fab2ee597d578c2/dblp}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2014paar}, editor = {Schulz, Stephan and de Moura, Leonardo and Konev, Boris}, ee = {https://doi.org/10.29007/shxj}, interhash = {05305f01acc081b5b7e2535be5682c85}, intrahash = {934991a1f85448946fab2ee597d578c2}, keywords = {dblp}, pages = {60-66}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {Machine Learner for Automated Reasoning 0.4 and 0.5.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2014.html#KaliszykUV14}, volume = 31, year = 2014 }