%0 Conference Paper %1 conf/tableaux/ZomboriUO21 %A Zombori, Zsolt %A Urban, Josef %A Olsák, Miroslav %B TABLEAUX %D 2021 %E Das, Anupam %E Negri, Sara %I Springer %K dblp %P 218-235 %T The Role of Entropy in Guiding a Connection Prover. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2021.html#ZomboriUO21 %V 12842 %@ 978-3-030-86059-2

@inproceedings{conf/tableaux/ZomboriUO21, added-at = {2021-09-03T00:00:00.000+0200}, author = {Zombori, Zsolt and Urban, Josef and Olsák, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/2f59d46a4333e16d24bff381dc2cdbdd0/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2021}, editor = {Das, Anupam and Negri, Sara}, ee = {https://doi.org/10.1007/978-3-030-86059-2_13}, interhash = {6961aaaf29f88e4c73f16b38e3fb5f3b}, intrahash = {f59d46a4333e16d24bff381dc2cdbdd0}, isbn = {978-3-030-86059-2}, keywords = {dblp}, pages = {218-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:33:38.000+0200}, title = {The Role of Entropy in Guiding a Connection Prover.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2021.html#ZomboriUO21}, volume = 12842, year = 2021 }