3 ms·Using a SAT solver to identify breadth-first traversal order of a directed graph1 points by rvprasad 8y ago