해석 가능한 휴리스틱 생성을 통한 컴퓨터 대수 시스템 최적화를 위한 제약 신경망

기계 학습 기술을 사용하여 기호 계산 연구에 새로운 방법론을 제시하고, 원래의 사람이 설계한 휴리스틱을 제약 신경망으로 표현하여 최적화된 새로운 휴리스틱을 찾는다.