algorithm spanning trees network reduction coloring satisfiability hardness bounded-degree approximation manteinance software engineering evolution performance resource planning petri nets random walk
See more