ارزیابی رویکردهای مبتنی بر SAT برای محاسبه عرض درختی گراف ها SUPERVISOR Hossein Falsafain حسین فلسفین (استاد راهنما) STUDENT Parsa Parva پارسا پروا FACULTY - DEPARTMENT دانشکده مهندسی برق و کامپیوتر DEGREE Bachelor of Science (B.Sc) YEAR 1393 TITLE ارزیابی رویکردهای مبتنی بر SAT برای محاسبه عرض درختی گراف ها
