×

Found 580 Documents (Results 1–100)

On conflict-free spanning tree: algorithms and complexity. (English) Zbl 07683165

Balachandran, Niranjan (ed.) et al., Algorithms and discrete applied mathematics. 8th international conference, CALDAM 2022, Puducherry, India, February 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13179, 91-102 (2022).
MSC:  68Wxx
Full Text: DOI

Functional correctness of C implementations of Dijkstra’s, Kruskal’s, and Prim’s algorithms. (English) Zbl 1493.68216

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 801-826 (2021).
MSC:  68Q60 68R10 68V15

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software