[Algorithm] Z3
Z3는 Microsoft Research에서 개발한 고성능 정리 증명기이다. SMT(만족성 모듈로 이론, Satisfiability Modulo Theories) solver로 널리 사용된다. 특히, Z3는 성능과 신뢰성, 다양한 이론을 지원하는 것으로 잘 알려져 있다. 형식적 방법(Formal Methods), 소프트웨어 검증(software verification), 보안 분석(security analysis), 프로그램 합성(program synthesis) 등 다양한 영역에서 사용되고 있다. SMT solver는 복잡한 이론이 포함된 논리 공식의 만족도(satisfiability)를 확인하는 데 사용되는 도구다. Boolean formulas 다루는 기존의 SAT(명제 만족도, propositio..
기술(Tech, IT)/알고리즘(Algorithm)
2024. 5. 9. 06:11
공지사항
최근에 올라온 글
최근에 달린 댓글
- Total
- Today
- Yesterday
링크
TAG
- 리트코드
- 오블완
- java
- 소켓 프로그래밍
- 티스토리챌린지
- 딕셔너리
- 이코노미스트 에스프레소
- defaultdict
- 투 포인터
- 머신 러닝
- Hash Map
- DICTIONARY
- I2C
- Computer Graphics
- vertex shader
- Android
- 안드로이드
- leetcode
- min heap
- machine learning
- socket programming
- 파이썬
- The Economist
- join
- C++
- tf-idf
- 이코노미스트
- Python
- ml
- The Economist Espresso
| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 | 30 | 31 |
글 보관함
반응형