Oo, Thazin; Htwe, Tin Myat
(Sixth Local Conference on Parallel and Soft Computing, 2011-12-29)
Solving problems by translating them to propositional logic has been found recently as a very successful approach in many application domains. Highly optimized satisfiability solvers have been used to find solutions of ...