범주:제약 프로그래밍

• 제약 프로그래밍

*

• 제약 만족도
• 대칭 파괴 구속조건

A

• AC-3 알고리즘
• 앨런의 간격 대수

B

• 백점핑
• 백마킹
• 장벽 함수
• 베이시스추구
• 베르트랑(프로그래밍 언어)
• 이항 구속조건
• BNR 프롤로그

C

• 카소워리(소프트웨어)
• 채프 알고리즘
• CLP(R)
• 제약 조건 만족도의 복잡성
• 컨센서스 역학
• 제약 최적화
• 제약 조건(수학)
• 제약 조건 합성 그래프
• 구속조건 그래프
• 구속조건추론
• 제약 학습
• 구속조건 논리 프로그래밍
• 제약 만족도 이중 문제
• 제약 만족도 문제

D

• 데이비스-푸트남 알고리즘
• 분해방법(기상만족도)
• 차이 맵 알고리즘
• 분산 제약 조건 최적화
• DPLL 알고리즘
• DPLL(T)

G

• 지코드
• 기하학적 구속조건 해결
• GNU 프롤로그

H

• 히든 변환
• 계층적 제약 만족도
• 하이브리드 알고리즘(기존 만족도)

I

• 일로그
• 상호교환성 알고리즘
• 기업간 예산 제약

J

• JaCoP(솔버)

K

• 칼리도스코프(프로그래밍 언어)

L

• 국소 일관성
• 로컬 검색(기존 만족도)
• 룩어어헤드(백트랙팅)

M

• 최대/최소 CSP/Ones 분류 정리
• 최소 충돌 알고리즘
• 미니언(솔버)

N

• 대수적 값 집합의 축소
• 간호사 스케줄링 문제

O

• 순서 그래프

R

• 추론 시스템
• 지역 연결 미적분학
• 정규 구속조건

S

• 만족도 모듈로 이론
• 셰퍼의 이분법 정리
• SWI-프로로그

T

• 최적화를 위한 테스트 함수
• 여행 토너먼트 문제

W

• 워크SAT
• 가중 제약 만족도 문제