Similar Items: BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
- Definable decompositions for graphs of bounded linear cliquewidth
- The monadic second-order logic of graphs XVI : Canonical graph decompositions
- Untyping Typed Algebras and Colouring Cyclic Linear Logic
- Efficient frequent directions algorithms for approximate decomposition of matrices and higher-order tensors
- A load forecasting method based on edge graph attention network
- SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes