“…This is mainly due to the fact that SAT algorithms have seen tremendous improvements in the last few years, allowing larger problem instances to be solved in different application domains. Such applications include formal verification [ 1], FPGA routing [ 2], power estimation [ 3], fault tolerance [ 4], network assignments [ 5], wireless communications [ 6], and scheduling [ 7]. SAT has also been extended to a variety of applications in Artificial Intelligence, including other well-known NP-complete problems.…”