%0 Conference Paper %1 conf/jelia/BodirskyG21 %A Bodirsky, Manuel %A Greiner, Johannes %B JELIA %D 2021 %E Faber, Wolfgang %E Friedrich, Gerhard %E Gebser, Martin %E Morak, Michael %I Springer %K dblp %P 133-146 %T Tractable Combinations of Theories via Sampling. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2021.html#BodirskyG21 %V 12678 %@ 978-3-030-75775-5

@inproceedings{conf/jelia/BodirskyG21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bodirsky, Manuel and Greiner, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/2261a5055d0935c5e2ff265941a17cf46/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2021}, editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael}, ee = {https://doi.org/10.1007/978-3-030-75775-5_10}, interhash = {37bac93ec40678d010e319392c7e840c}, intrahash = {261a5055d0935c5e2ff265941a17cf46}, isbn = {978-3-030-75775-5}, keywords = {dblp}, pages = {133-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:46:54.000+0200}, title = {Tractable Combinations of Theories via Sampling.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2021.html#BodirskyG21}, volume = 12678, year = 2021 }