ISSN (printed): 1383-7133. ISSN (electronic): 1572-9354.
Constraints provides a common forum for the many disciplines interested in 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: Artificial Intelligence Combinatorial Algorithms Computational Logic Databases Discrete Mathematics Neural Networks Operations Research Parallel/Distributed Computing Programming Languages Symbolic Computation. Domains include: Design and Configuration Graphics Visualization Interfaces Hardware Verification and Software Engineering HumanñComputer Interaction and Decision Support Molecular Biology Qualitative and Diagnostic Reasoning Real-Time Systems Robotics Machine Vision and Computational Linguistics Scheduling Planning Resource Allocation Temporal and Spatial Reasoning. Papers are especially welcome that cut across disciplinary lines or that combine theory and practice. The journal also considers tutorial and survey papers.
- Further information
- Category Links