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

Lucas Bltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans

Browse the full KR paper archive.