KS-2009 Project: Solving Karnaugh Maps on J2ME Devices