这本杂志为许多对约束编程和约束满足与优化感兴趣的学科以及使用约束技术的许多应用领域提供了一个共同的论坛。它涵盖了有约束的计算的各个方面，包括：理论和实践、算法和系统、推理和编程、逻辑和语言。相关学科和应用领域包括但不限于：学科：人工智能、自动推理、组合算法、数据库、离散数学、运筹学、编程语言、可满足性和计算逻辑。领域：代理、生物信息学、设计和配置、图形、可视化、用户界面、人机交互和决策支持、机器人、机器视觉和计算语言学、调度、规划、资源分配、时间和空间推理。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 4区 4区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q4 | COMPUTER SCIENCE, THEORY & METHODS | Q4 | 0.583 |
| COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Q4 |
* 请认真填写需求信息，我们会在24小时内与您取得联系。
