FIT-Conference Hub
컨퍼런스
저널
시각화
챗봇
새로운 소식
지원
게시
테마
한국어
컨퍼런스
저널
시각화
챗봇
새로운 소식
지원
게시
알림
모두 읽음으로 표시
새로운 알림이 없습니다.
모두 보기
키워드
시작:
종료:
유형
장소
검색
초기화
상세 검색 옵션 숨기기
?
제출일:
순위:
모든 순위
A*
A
B
C
Unranked
Other
출처:
모든 출처
출판사:
주제:
Theory and Applications of Satisfiability Testing
×
연구 분야:
컨퍼런스 결과 (1)
페이지당 이벤트 수:
4
8
12
20
50
100
International Conference on Theory and Applications of Satisfiability Testing (SAT)
Rank: A
Offline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability Testing
Propositional Satisfiability
Boolean optimization
+18 더 보기
