Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference 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 --- Constraint programming (Computer science) --- Computers --- Data processing. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

All Basque interpretations of national power have resulted in an uneasy mix of often fragmented and conflicting territorial identifications. Basques can identify themselves with France, Spain or an imagined Basque nation state. Territory and Terror confronts the imagined and actual territorial dimensions of nationalism, shedding new light on the Basque conflict. The study provides a rich description of territoriality analysed from a comparative perspective and explores the relation between territoriality and regional differences in conflict intensity. It supplies an

Nationalism --- Consciousness, National --- Identity, National --- National consciousness --- National identity --- International relations --- Patriotism --- Political science --- Autonomy and independence movements --- Internationalism --- Political messianism --- País Vasco (Spain) --- Pays Basque (France) --- Basque (France) --- Basque Country (France) --- Basque Provinces (France) --- Politics and government --- Spain --- Baskenland (Spanje) --- France --- Pays basque (France) --- 20th century --- Pais Vasco (Spain)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constraints (Artificial intelligence) --- Constraint programming (Computer science) --- Combinatorial optimization --- Artificial intelligence --- Operations research --- Contraintes (Intelligence artificielle) --- Programmation par contraintes --- Optimisation combinatoire --- Intelligence artificielle --- Recherche opérationnelle --- Congresses. --- Congrès --- Applied Mathematics --- Computer Science --- Engineering & Applied Sciences --- Constraint satisfaction (Artificial intelligence) --- Computer science. --- Software engineering. --- Algorithms. --- Numerical analysis. --- Computer science --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Numeric Computing. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Operations Research/Decision Theory. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Informatics --- Science --- Mathematics --- Foundations --- Electronic data processing. --- Computational complexity. --- Computer software. --- Operations research. --- Artificial Intelligence. --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- 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 --- Computer science—Mathematics. --- Decision making. --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management --- Management decisions --- Choice (Psychology) --- Problem solving --- Decision making --- Discrete mathematics. --- Software Engineering. --- Numerical Analysis. --- Operations Research and Decision Theory. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis