Future works
introducing dynamic variable ordering heuristics (e.g., Maximum Occurrence in clauses of Minimum size heuristic)
implementing iterative improvement algorithm (e.g., distributed breakout [Yokoo & Hirayama, Int. Conf. on MultiAgent Systems ¡Æ96]) using FPGAs.