Converting SAT Problem into Lattice Basis. - Jihad Mohamad Jaam; Dhia Hussain; Ahmad Hasnah (IC-AI, 2002)