Constraints 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: 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
Papers that cut across disciplinary lines, or that combine theory and practice, are especially welcome. The journal will also consider:
Officially cited as: Constraints