@inproceedings{Chen_2021,
doi = {10.1109/lics52264.2021.9470742},
url = {https://doi.org/10.1109%2Flics52264.2021.9470742},
year = {2021},
month = {jun},
publisher = {{IEEE}},
author = {Yijia Chen and Jorg Flum},
title = {Forbidden Induced Subgraphs and the {\L}o{\'{s}}{\textendash}Tarski Theorem},
booktitle = {2021 36th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science ({LICS})}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A