中文簡介

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

投稿網(wǎng)址：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 allocation, temporal and spatial reasoning.