VPGSolver experiments
Published in Zenodo (CERN European Organization for Nuclear Research) • Nov 1, 2021
NobleIDNI8P66W39R46S74
Authors:
Koen Degeling
Abstract
Data files containing all the performed experiments comparing the different VPG algorithms: - Zielonka's algorithm - Priority Promotion - Small Progress Measures - Zielonka with tight SCC integration
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!