أرسل هذا في رسالة قصيرة: Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah (eds.).