An Empirical Comparison of Backtracking Algorithms | Synapse