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