본문으로 건너뛰기

피드 트렌딩 커뮤니티 공지사항 기술 태그 AI 용어 사전 서비스 소개 문의 운영 정책 개인정보 처리방침

매일 업데이트되는 글로벌 소스의 AI/ML 뉴스를 수집하고 한국어로 요약합니다.

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

만족 가능성 모듈로 이론 (smt) 용어 설명 | AI Trends

smt

만족 가능성 모듈로 이론

고급

수식의 만족 가능성을 판별하는 문제로, 소프트웨어 및 하드웨어의 형식 검증에 널리 사용되는 핵심 기법이다. 복잡한 논리 구조의 오류를 찾는 데 사용된다.

비슷한 개념

smt-solving formal-methods satisfiability smt-solver z3-theorem-prover formal-reasoning automated-reasoning formal-semantics

← 용어 사전 전체 보기