%0 Conference Paper %1 conf/lpar/ChvalovskyKPU23 %A Chvalovský, Karel %A Korovin, Konstantin %A Piepenbrock, Jelle %A Urban, Josef %B LPAR %D 2023 %E Piskac, Ruzica %E Voronkov, Andrei %I EasyChair %K dblp %P 112-123 %T Guiding an Instantiation Prover with Graph Neural Networks. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2023.html#ChvalovskyKPU23 %V 94

@inproceedings{conf/lpar/ChvalovskyKPU23, added-at = {2023-07-12T00:00:00.000+0200}, author = {Chvalovský, Karel and Korovin, Konstantin and Piepenbrock, Jelle and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/227ee19d1524d26286642110038d86091/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2023}, editor = {Piskac, Ruzica and Voronkov, Andrei}, ee = {https://doi.org/10.29007/tp23}, interhash = {bdb650a60dece1a668303240a834fa84}, intrahash = {27ee19d1524d26286642110038d86091}, keywords = {dblp}, pages = {112-123}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {Guiding an Instantiation Prover with Graph Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2023.html#ChvalovskyKPU23}, volume = 94, year = 2023 }