Vol-3008⫷ Vol-3009 ⫸Vol-3010
urn:nbn:de:0074-3009-0


Vol-3009/abstract1⫷Vol-3009/short1⫸Vol-3009/paper2
Lucas BöltzHannes FreyDennis PeuterViorica Sofronie-Stokkermans

On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)