Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Computing Tree Decompositions with Small Independence Number
Dallard, Clément, Fomin, Fedor V., Golovach, Petr A., Korhonen, Tuukka, Milanič, Martin
Published in ACM transactions on algorithms (16.09.2025)
Published in ACM transactions on algorithms (16.09.2025)
Get full text
Journal Article
Lovász-Type Theorems and Game Comonads
Dawar, Anuj, Jakl, Tomas, Reggio, Luca
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
The Logic of Graph Neural Networks
Grohe, Martin
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Computing the 4-Edge-Connected Components of a Graph: An Experimental Study
Georgiadis, Loukas, Italiano, Giuseppe F., Kosinas, Evangelos
Published in ACM transactions on algorithms (31.01.2026)
Published in ACM transactions on algorithms (31.01.2026)
Get full text
Journal Article
HyperEF: Spectral Hypergraph Coarsening by Effective-Resistance Clustering
Aghdaei, Ali, Feng, Zhuo
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)
Get full text
Conference Proceeding
On the Expressive Power of Homomorphism Counts
Atserias, Albert, Kolaitis, Phokion G., Wu, Wei-Lin
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
New polynomial delay bounds for maximal subgraph enumeration by proximity search
Published in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing
(23.06.2019)
Get full text
Conference Proceeding
TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-based Inference
Su, ChiaHui, Ku, Chia-Hua, Lee, Jenq Kuen, Chen, Kuan-Hsun
Published in ACM transactions on embedded computing systems (15.11.2024)
Published in ACM transactions on embedded computing systems (15.11.2024)
Get full text
Journal Article
Characterizing structural relationships in scenes using graph kernels
Fisher, Matthew, Savva, Manolis, Hanrahan, Pat
Published in ACM transactions on graphics (01.07.2011)
Published in ACM transactions on graphics (01.07.2011)
Get full text
Journal Article