Baixe o Linnk AI
•
Assistente de Pesquisa
>
Entrar
insight
-
논리 시스템 분석
정확한 논리 조노토프를 이용한 형식 검증
본 연구에서는 제약된 다항식 논리 조노토프를 제안하여, 논리 시스템의 도달 가능성 분석을 위한 정확한 교집합 연산을 가능하게 하였다.
1