位置：成果数据库 > 期刊 > 期刊详情页
约束问题求解
  • 期刊名称：自动化学报，第33卷第2期， 2007，125-131页
  • 时间：0
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]中国科学院软件研究所计算机科学国家重点实验室,北京100080
  • 相关基金：国家自然科学基金（60125207,60421001）资助
  • 相关项目：软件形式化方法
作者： 季晓慧、张健
关键词： 约束求解, 优化问题, Constraint processing, optimization
中文摘要：

约束问题的求解涉及到人工智能、运筹学、计算机科学等领域．它的应用范围也极为广泛，包括计算机科学、控制科学、生物学等方面．本文对其发展历史、所要求解的问题以及它的基本方法等问题进行了综述．

英文摘要：

Constraint processing involves the techniques of artificial intelligence, operations research, computer science and so on. It has found many applications in computer science, control theory, biology and so on. This paper is a survey of its history, methods and the problems it encounters.

同期刊论文项目
计算机软件
期刊论文 16 会议论文 8
软件形式化方法
期刊论文 36 会议论文 33 著作 2
同项目期刊论文
Handling Synchronization Probl
On an Open Problem of Amadio a
Model-Based Testing of Concurr
约束求解与优化技术的结合
并发Java程序同步操作的有效删除
Property-preserving Compositio
UML活动图的时序逻辑语义
Model Checking Data Consistenc
Compositional Verification for
Eigenvariables, bracketing and
Refining and verifying a class
多线程程序数据竞争的静态检测
一种求解混合约束问题的快速完备
基于约束的主动规则终止性分析
Symbolic Test Generation Using
Computing along the axon
Deriving Non-determinism from
On String Languages Generated
Symbolic Model Checking of Fin
The inductive approach to stra
Combining search space partiti
基于迁移的扩展Buchi自动机到Buc
A note on the characterization
Structure of Proofs and the Co
Facilitating formal specificat
Linear Tabling Strategies and
有限精度时间自动机的可达性检测
基于共享位置的Petri网系统综合与保性
有限精度时间自动机的时钟表示
从基于迁移的扩展Büchi自动机到Büchi自动机
直觉线性μ-演算
Automated test case generation for the stress testing of multimedia systems
一种求解混合约束问题的快速完备算法
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems
程序静态分析技术与工具
基于基本路径的程序自动化测试
Reducing symmetries to generate easier SAT instances
Generating SAT instances from first-order formulas
Solving Boolean combinations of nonlinear numerical constraints
Survey Propagation — 一种求解SAT的高效算法
多线程程序数据竞争的静态检测
基于约束的主动规则终止性分析