Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Choose an application
This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.
Computer science. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Mathematics of Computing. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algorism --- Informatics --- Mathematics --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebra --- Arithmetic --- Science --- Foundations --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Mathematical theory of computation. --- Constraint programming (Computer science) --- Computer science—Mathematics.
Choose an application
This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2016, held in Banff, Canada, in May/June 2016. The 21 full papers presented together with 8 short papers were carefully reviewed and selected from 51 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in combinatorial optimization and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.
Computer science. --- Algorithms. --- Numerical analysis. --- Computer science --- Artificial intelligence. --- Operations research. --- Management science. --- Computer Science. --- Numeric Computing. --- Math Applications in Computer Science. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Operations Research, Management Science. --- Mathematics. --- Quantitative business analysis --- Operational analysis --- Operational research --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Informatics --- Mathematics --- Management --- Problem solving --- Operations research --- Statistical decision --- Industrial engineering --- Management science --- Research --- System theory --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematical analysis --- Algebra --- Arithmetic --- Science --- Foundations --- Electronic data processing. --- Computational complexity. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Complexity, Computational --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Automation --- Constraint programming (Computer science) --- Combinatorial optimization --- Optimization, Combinatorial --- Combinatorial analysis --- Mathematical optimization --- Computer science—Mathematics. --- Discrete mathematics. --- Numerical Analysis. --- Mathematical Applications in Computer Science. --- Operations Research, Management Science . --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Listing 1 - 3 of 3 |
Sort by
|