一阶逻辑中约束求解的局部搜索法
| Data(s) |
1998
|
|---|---|
| Resumo |
以一阶谓词逻辑为基础，讨论约束满足问题．着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较．以皇后问题和哈密顿回路问题为例，说明基于一阶逻辑的方法能处理较大的问题实例． |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
张健.一阶逻辑中约束求解的局部搜索法,软件学报,1998,9(8):598-600 |
| Palavras-Chave | #约束满足问题 #一阶谓词逻辑 #局部搜索 |
| Tipo |
期刊论文 |
