Open AccessAn Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs
Author(s) -
Marius Bozga,
Radu Iosif,
Vassiliki Sfyrla
Publication year - 2007
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - presburger arithmetic , reachability , computation , mathematics , satisfiability , discrete mathematics , algorithm , function (biology) , quotient , computer science , decidability , combinatorics , evolutionary biology , biology