Loading...
2002
집합 피복 공식화를 이용한 명제논리의 만족도 문제에 대한 계산실험 연구
An empirical study for satisfiability problems in propositional logic using set covering formulation
한국경영과학회
조건
논문정보
- Publisher
- 한국경영과학회지
- Issue Date
- 2002-12-01
- Keywords
- -
- Citation
- -
- Source
- -
- Journal Title
- -
- Volume
- 27
- Number
- 4
- Start Page
- 87
- End Page
- 109
- DOI
- ISSN
- 12251119
- 전남대학교
- KCI
- 한국경영과학회지
저자 정보
| 이름 | 소속 |
|---|---|
| 조건 | 경영학부 |