Branch & Bound Least Discrepancy Search implementation