• Suche: Algebraic Graph Algorithms

Treffer 1 - 20 von 13.634

1

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Grandury, Marcos ; Nanevski, Aleksandar ; Gryzlov, Alexander
Proceedings of the ACM on Programming Languages. 9(ICFP):160-189

Fachzeitschrift
Zur Merkliste hinzufügen
2

Formalising Graph Algorithms with Coinduction
Kidney, Donnacha Oisín ; Wu, Nicolas
Proceedings of the ACM on Programming Languages. 9(POPL):1657-1686

Fachzeitschrift
Zur Merkliste hinzufügen
3

Optimal Algebraic Breadth-First Search for Sparse Graphs
Burkhardt, Paul
ACM Transactions on Knowledge Discovery from Data (TKDD). 15(5):1-19

Fachzeitschrift
Zur Merkliste hinzufügen
4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

An algebraic approach to the longest path problem
Al - Khazali, Omar
In Theoretical Computer Science 22 December 2025 1058

Fachzeitschrift
Zur Merkliste hinzufügen
6

Fuzzy 𝓕-index of fuzzy zero divisor graphs with MATLAB based algebraic applications
Eryaşar, Elif ; Sözen, Esra Öztürk
Filomat, 2025 Jan 01. 39(14), 4873-4886.

Fachzeitschrift
Zur Merkliste hinzufügen
7

Efficient Algorithms for the Disjoint Shortest Paths Problem and Its Extensions
Choudhary, Keerti ; Kumar, Amit ; Saggi, Lakshay ; et al.

Disjoint paths Disjoint shortest paths Algebraic graph algorith...
Fachzeitschrift
Zur Merkliste hinzufügen
8

Development and Evaluation of a Multi-Robot Path Planning Graph Algorithm.
Alwafi, Fatma A. S. ; Xu, Xu ; Saatchi, Reza ; et al.
Information. Jun2025, Vol. 16 Issue 6, p431. 28p.

Robotic path planning Graph algorithms Graph theory Graph connectivity Eigenvalues Potential field method (...
Fachzeitschrift
Zur Merkliste hinzufügen
9

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Chatterjee, Krishnendu ; Ibsen-Jensen, Rasmus ; Goharshady, Amir Kafshdar ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 40(3):1-43

Fachzeitschrift
Zur Merkliste hinzufügen
10

Efficient Algebraic Multigrid Methods for Multilevel Overlapping Coclustering of User-Item Relationships.
Xu, Haifeng ; Kashef, Rasha F. ; De Sterck, Hans ; et al.
INFORMS Journal on Computing. May/Jun2022, Vol. 34 Issue 3, p1587-1605. 19p.

Big data Algebraic multigrid meth... Graph algorithms Bipartite graphs Weighted graphs Heuristic algorithms
Fachzeitschrift
Zur Merkliste hinzufügen
11

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
Chatterjee, Krishnendu ; Goharshady, Amir Kafshdar ; Ibsen-Jensen, Rasmus ; et al.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :733-747

Konferenz
Zur Merkliste hinzufügen
12

Shortest Paths, Pigeonholes and Finite Sets : A Constructive Proof in Agda
Youssef, Michael
Proceedings of the 36th Symposium on Implementation and Application of Functional Languages. :1-12

Konferenz
Zur Merkliste hinzufügen
13

Automating Vectorized Distributed Graph Computation
Zhao, Wenyue ; Cao, Yang ; Buneman, Peter ; et al.
Proceedings of the ACM on Management of Data - SIGMOD. 2(6):1-27

Fachzeitschrift
Zur Merkliste hinzufügen
15

A space improved algorithm for chromatic number
Wu, Pu ; Gu, Huanyu ; Jiang, Huiqin ; et al.
In Theoretical Computer Science 4 January 2026 1059

Fachzeitschrift
Zur Merkliste hinzufügen
16

Linear algebraic depth-first search
Spampinato, Daniele G. ; Sridhar, Upasana ; Low, Tze Meng
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. :93-104

Konferenz
Zur Merkliste hinzufügen
17

A Recursive Algebraic Coloring Technique for Hardware-efficient Symmetric Sparse Matrix-vector Multiplication
Alappat, Christie ; Basermann, Achim ; Bishop, Alan R. ; et al.
ACM Transactions on Parallel Computing (TOPC) - Special Issue on PPoPP 2017 (Part 2) and Regular Papers. 7(3):1-37

Fachzeitschrift
Zur Merkliste hinzufügen
18

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Grohe, Martin ; Lichter, Moritz ; Neuen, Daniel ; et al.
Journal of the ACM. 72(3):1-27

Fachzeitschrift
Zur Merkliste hinzufügen
19

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter