
EDA 기반 전처리 프레임워크를 통해 SAT 문제 인스턴스를 효율적으로 단순화하여 해결 시간을 크게 단축할 수 있다.


coremsg

sat-문제-해결을-위한-eda-기반-전처리-기법


SAT 문제 해결을 위한 EDA 기반 전처리 기법



SAT 지역 탐색 알고리즘의 순차 실행 시간 분포 분석을 통해 병렬 실행 성능을 예측할 수 있다.



SAT 지역 탐색 알고리즘의 병렬 가속 예측을 위한 순차 실행 시간 분포 사용



SAT 지역 탐색 알고리즘의 병렬 가속 예측을 위한 순차 실행 시간 분포 활용
