"충족 가능성 문제" 문서를 가리키는 문서 목록
항목 26개를 표시함.
- 알고리즘 (← 가리키는 문서 목록 | 편집)
- 스티븐 쿡 (← 가리키는 문서 목록 | 편집)
- NP-완전 (← 가리키는 문서 목록 | 편집)
- 샤프-P (← 가리키는 문서 목록 | 편집)
- PCP (복잡도) (← 가리키는 문서 목록 | 편집)
- Co-NP-완전 (← 가리키는 문서 목록 | 편집)
- NP-난해 (← 가리키는 문서 목록 | 편집)
- PSPACE-완전 (← 가리키는 문서 목록 | 편집)
- MAX-SNP (← 가리키는 문서 목록 | 편집)
- SAT (동음이의) (← 가리키는 문서 목록 | 편집)
- 불리언 (← 가리키는 문서 목록 | 편집)
- 충족가능성문제 (넘겨주기 문서) (← 가리키는 문서 목록 | 편집)
- 충족가능성 문제 (넘겨주기 문서) (← 가리키는 문서 목록 | 편집)
- 충족 가능성문제 (넘겨주기 문서) (← 가리키는 문서 목록 | 편집)
- 제약 충족 문제 (← 가리키는 문서 목록 | 편집)
- 논리형 프로그래밍 (← 가리키는 문서 목록 | 편집)
- 쿡-레빈 정리 (← 가리키는 문서 목록 | 편집)
- 불 만족 문제 (넘겨주기 문서) (← 가리키는 문서 목록 | 편집)
- 신뢰전파 (← 가리키는 문서 목록 | 편집)
- 이진 행렬 (← 가리키는 문서 목록 | 편집)
- DNF (소프트웨어) (← 가리키는 문서 목록 | 편집)
- 강한 연결 요소 (← 가리키는 문서 목록 | 편집)
- ZYpp (← 가리키는 문서 목록 | 편집)
- 소거론 (← 가리키는 문서 목록 | 편집)
- USAT (← 가리키는 문서 목록 | 편집)
- 계산 복잡도 (← 가리키는 문서 목록 | 편집)