Efficient Task Scheduling Using Constrains Programming. - Soonil Jung; Jae Bong Cho; Kyungmo Yang; Dohun Kim; Wonjong Kim (ICCE, 2025)