Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying methodology. Eclipse is exploited commercially by Cisco, and is freely available and used for teaching and research in over 500 universities. This book has a two-fold purpose. It's an introduction to constraint programming, appropriate for one-semester courses for upper undergraduate or graduate students in computer science or for programmers wishing to master the practical aspects of constraint programming. By the end of the book, the reader will be able to understand and write constraint programs that solve complex problems. Second, it provides a systematic introduction to the Eclipse system through carefully-chosen examples that guide the reader through the language and illustrate its power, versatility and utility.

The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 - October 1, 2004. Information about the conference can be found on the Web at http: //ai.uwaterloo.ca/ cp2004/ Constraint programming (CP) is about problem modelling, problem solving, programming, optimization, software engineering, databases, visualization, user interfaces, and anything to do with satisfying complex constraints. It reaches into mathematics, operations research, arti?cial intelligence, algorithms, c- plexity, modelling and programming languages, and many aspects of computer science. Moreover, CP is never far from applications, and its successful use in industry and government goes hand in hand with the success of the CP research community. Constraintprogrammingcontinuesto beanexciting, ?ourishingandgrowing research?eld, astheannualCPconferenceproceedingsamplywitness.Thisyear, from 158 submissions, we chose 46 to be published in full in the proceedings. Instead of selecting one overall best paper, we picked out four "distinguished" papers - though we were tempted to select at least 12 such papers. In addition we included 16 short papersin the proceedings- these were presentedas posters at CP 2004. This volume includes summaries of the four invited talks of CP 2004. Two speakers from industry were invited. However these were no ordinary industrial representatives, buttwoofthe leadingresearchersinthe CPcommunity: Helmut Simonis of Parc Technologies, until its recent takeover by Cisco Systems; and Jean Francoi, s Puget, Director of Optimization Technology at ILOG. The other two invited speakers are also big movers and shakers in the researchcommunity."

This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB '97, held in Delphi, Greece, in January 1997 together with some papers presented at the CP '96 Workshop on Constraints and Databases, held in Cambridge, Massachussetts, in August 1996.
The 18 revised full papers presented were carefully reviewed and selected for inclusion in the volume; also included are the extended abstract of an invited contribution and two survey papers. The papers are organized in sections on languages, expressiveness of spatial languages, systems, temporal applications, new applications, indexing, constraint programming, and optimization.

This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995.
The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management.

This book introduces readers to the principles of intelligent decision support systems (IDSS) and how to build them with MiniZinc, a free, open-source constraint programming language. Managing an IDSS project requires an understanding of the system's design and behaviour. The book enables readers to appreciate what "combinatorial" optimisation problems are, and how modelling a problem provides the basis for solving it. It also presents the main algorithms for tackling decision support problems, discusses their strengths and weaknesses, and explores ways of achieving the necessary scalability when problems become big. Moreover, to support the learning process it allows readers to try out the ideas described in the text on model applications and puzzles. The book highlights the potential benefits of deploying an IDSS. It enables users to recognise the key risks involved and identify which techniques can be applied to minimise them, and to understand the decision support technology sufficiently in order to manage or monitor an IDSS project. It also helps readers distinguish between good sense and mere jargon when dealing with anyone involved in an IDSS project, from sales personnel to software implementers. As such it especially appeals to graduate students and advanced professionals who need to learn how to build an IDSS and to tackle the problems on the way.

The most interconnected generation in history is navigating unimaginable amounts of social pressure, both in personal and online interactions. Very little time, focus, or education is being spent teaching and coaching this generation how to navigate this unprecedented amount of "stuff" entering their lives each day. How do we help the overloaded and distracted next generation deal with increasing complexity and help them not only survive, but thrive? How do we help them experience stress-free productivity and gain momentum and confidence? How do we help them achieve autonomy, so that they can confidently take on whatever comes their way?

Getting Things Done for Teens will train the next generation to overcome these obstacles and flourish by coaching them to use the internationally renowned Getting Things Done methodology. In its two editions, David Allen's classic has been translated into dozens of languages and sold over a million copies, establishing itself as one of the most influential business books of its era, and the ultimate book on personal organization. Getting Things Done for Teens will adapt its lessons by offering a fresh take on the GTD methodology, framing life as a game to play and GTD as the game pieces and strategies to play your most effective game. It presents GTD in a highly visual way and frames the methodology as not only as a system for being productive in school, but as a set of tools for everyday life.

Getting Things Done for Teens is the how-to manual for the next generation--a strategic guidebook for creating the conditions for a fruitful and effective future.

'As a GTD devotee for nearly two decades, I know how these principles have transformed my own work life. So I'm thrilled that David Allen is bringing his brilliance to the most important audience of all: Our young people. Today's teenagers face a tsunami of distractions and pressures. This practical and powerful book will ease their stress and focus their minds in ways that will last a lifetime' - Daniel H. Pink, New York Times bestselling author of When and Drive 'If you learn these techniques, they'll pay off for decades' - Charles Duhigg, New York Times bestselling author of The Power of Habit The most interconnected generation in history is navigating unimaginable amounts of social pressure, both in personal and online interactions. Very little time, focus or education is being spent teaching and coaching this generation how to navigate the unprecedented amount of 'stuff' entering their lives each day. How do we help the overloaded and distracted next generation deal with increasing complexity and help them not only survive, but thrive? How do we help them experience stress-free productivity and gain momentum and confidence? How do we help them achieve autonomy, so that they can confidently take on whatever comes their way? Getting Things Done for Teens will train the next generation to overcome these obstacles and flourish by coaching them to use the internationally renowned Getting Things Done methodology. In its two editions, David Allen's classic has been translated into dozens of languages and sold over a million copies, establishing itself as one of the most influential business books of its era, and the ultimate book on personal organization. Getting Things Done for Teens will adapt its lessons by offering a fresh take on the GTD methodology, framing life as a game to play and GTD as the game pieces and strategies to play your most effective game. It presents GTD in a highly visual way and frames the methodology as not only as a system for being productive in school, but as a set of tools for everyday life. Getting Things Done for Teens is the how-to manual for the next generation - a strategic guidebook for creating the conditions for a fruitful and effective future.