中文简介

这本杂志为许多对约束编程和约束满足与优化感兴趣的学科以及使用约束技术的许多应用领域提供了一个共同的论坛。它涵盖了有约束的计算的各个方面，包括：理论和实践、算法和系统、推理和编程、逻辑和语言。相关学科和应用领域包括但不限于：学科：人工智能、自动推理、组合算法、数据库、离散数学、运筹学、编程语言、可满足性和计算逻辑。领域：代理、生物信息学、设计和配置、图形、可视化、用户界面、人机交互和决策支持、机器人、机器视觉和计算语言学、调度、规划、资源分配、时间和空间推理。

投稿网址：http://www.springer.com/journal/10601/submission

英文简介

This journal provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constraint technology is employed. It covers all aspects of computing with constraints, including: theory and practice, algorithms and systems, reasoning and programming, logics and languages.Relevant disciplines and application domains include, but are not limited to:Disciplines: artificial intelligence, automated reasoning, combinatorial algorithms, databases, discrete mathematics, operations research, programming languages, satisfiability and computational logic.Domains: agents, bioinformatics, design and configuration, graphics, visualization, user interfaces, human-computer interaction and decision support, robotics, machine vision and computational linguistics, scheduling, planning, resource allocations, temporal and spatial reasoning.