這本雜志為許多對(duì)約束編程和約束滿足與優(yōu)化感興趣的學(xué)科以及使用約束技術(shù)的許多應(yīng)用領(lǐng)域提供了一個(gè)共同的論壇。它涵蓋了有約束的計(jì)算的各個(gè)方面，包括：理論和實(shí)踐、算法和系統(tǒng)、推理和編程、邏輯和語言。相關(guān)學(xué)科和應(yīng)用領(lǐng)域包括但不限于：學(xué)科：人工智能、自動(dòng)推理、組合算法、數(shù)據(jù)庫、離散數(shù)學(xué)、運(yùn)籌學(xué)、編程語言、可滿足性和計(jì)算邏輯。領(lǐng)域：代理、生物信息學(xué)、設(shè)計(jì)和配置、圖形、可視化、用戶界面、人機(jī)交互和決策支持、機(jī)器人、機(jī)器視覺和計(jì)算語言學(xué)、調(diào)度、規(guī)劃、資源分配、時(shí)間和空間推理。

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 allocation, temporal and spatial reasoning.