Jihad Mohamad Jaam Dhia Hussain Ahmad Hasnah Converting SAT Problem into Lattice Basis. 1100-1105 2002 conf/icai/2002-3 IC-AI db/conf/icai/icai2002-3.html#JaamHH02