ASPaeroFlow: 답변 집합 프로그래밍을 활용한 공동 항공 교통 흐름 및 용량 관리(ATFCM) 분해 휴리스틱
📌 핵심 요약 (Key Takeaways) 핵심 성과 1: ATFM과 DAC의 분리로 인한 순환적 종속성을 해소하기 위해 인스턴스 공간 분해 휴리스틱과 답변 집합 프로그래밍(ASP) 기반 로컬 해법을 결합한 ASPaeroFlow 제안 독창적 차별점 2: 대규모 연산 복잡도를 극복하면서도 순차적 최적화 방식 대비 우수한 해(solution) 품질을 대규모 산업 표준 인스턴스에서 입증 실무 파급력 3: 동적 공역 구성(DAC)이 흐름 … 더 읽기