×
دليل المستخدم
Al Lehyani، B. A.، Petrisan، D.، و De Vries، F. J. (2011). A SAT-Based Shikaku Solver (رسالة ماجستير غير منشورة). University of Leicester، ليستر. مسترجع من http://search.mandumah.com/Record/607960
Al Lehyani، Budoor Ahmad، Daniela Petrisan، و Fer Jan De Vries. "A SAT-Based Shikaku Solver" رسالة ماجستير. University of Leicester، ليستر، 2011. مسترجع من http://search.mandumah.com/Record/607960