%0 Conference Paper %1 conf/gcai/Urban15 %A Urban, Josef %B GCAI %D 2015 %E Gottlob, Georg %E Sutcliffe, Geoff %E Voronkov, Andrei %I EasyChair %K dblp %P 312-319 %T BliStr: The Blind Strategymaker. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2015.html#Urban15 %V 36

@inproceedings{conf/gcai/Urban15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/230530ae53674684c671e2c3bc91228e5/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2015}, editor = {Gottlob, Georg and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://doi.org/10.29007/8n7m}, interhash = {2b57ea3c0e2b066f2246ba8d1efbb8c1}, intrahash = {30530ae53674684c671e2c3bc91228e5}, keywords = {dblp}, pages = {312-319}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {BliStr: The Blind Strategymaker.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2015.html#Urban15}, volume = 36, year = 2015 }