%0 Conference Paper %1 conf/kr/BoltzFPS21 %A Böltz, Lucas %A Frey, Hannes %A Peuter, Dennis %A Sofronie-Stokkermans, Viorica %B SOQE@KR %D 2021 %E Schmidt, Renate A. %E Wernhard, Christoph %E Zhao, Yizheng %I CEUR-WS.org %K dblp %P 37-45 %T On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). %U http://dblp.uni-trier.de/db/conf/kr/soqe2021.html#BoltzFPS21 %V 3009

@inproceedings{conf/kr/BoltzFPS21, added-at = {2023-03-10T00:00:00.000+0100}, author = {Böltz, Lucas and Frey, Hannes and Peuter, Dennis and Sofronie-Stokkermans, Viorica}, biburl = {https://www.bibsonomy.org/bibtex/210e933dd7fb1785c4fae12ce34ba0929/dblp}, booktitle = {SOQE@KR}, crossref = {conf/kr/2021soqe}, editor = {Schmidt, Renate A. and Wernhard, Christoph and Zhao, Yizheng}, ee = {https://ceur-ws.org/Vol-3009/short1.pdf}, interhash = {909da250a868a8b92ad914e5da607938}, intrahash = {10e933dd7fb1785c4fae12ce34ba0929}, keywords = {dblp}, pages = {37-45}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:53:51.000+0200}, title = {On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).}, url = {http://dblp.uni-trier.de/db/conf/kr/soqe2021.html#BoltzFPS21}, volume = 3009, year = 2021 }