Principles and Practice of Constraint Programming

The Newport Papers

av Vijay Saraswat, Pascal Van Hentenryck

Fler böcker av författarna

Kundrecensioner

Bloggat om Principles and Practice of Constraint Programming

Övrig information

Innehållsförteckning

(inbunden)

Format:: Inbunden (hardback)
Utgiven:: 1995-07-01
Språk:: Engelska

Skickas inom 5-8 vardagar

522:- Köp

Fraktavgift från 0 kr
Dela upp betalningen

This collection of twenty-three original papers represents the first effort to bring together the work of constraint programming researchers scattered across multiple disciplines and across the world. The collection contributes to the understanding of the common principles of this emerging general paradigm, the investigation of its theoretical foundations as well as applications to real-world computing problems. It is organized around themes of concurrency and reactive systems, languages and environments, algorithms, computer graphics, and artificial intelligence. Constraint programming aims at supporting a wide range of complex applications which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwise-procedural systems to reduce the development effort. The mid-1980s have witnessed the emergence of general-purpose programming languages based on constraints, such as constraint logic programming and concurrent constraint programming, with significant applications in academia and industry. Today, an increasing number of researchers from all over the map of computing are looking at different aspects of this new computational paradigm.

(Bookdata)

Visa alla böcker av Vijay Saraswat, Pascal Van Hentenryck

Bli först med att recensera och betygsätt boken Principles and Practice of Constraint Programming - du kan vinna 200 kr varje vecka i tävlingen "Veckans recension".

Läs mer

Pascal Van Hentenryck is Professor in the Department of Computer Science at Brown University. He is the author or editor of several MIT Press books.

(Bookdata)

Online Stochastic Combinatorial Optimization
Pascal Van Hentenryck, Russell Bent (inbunden)

Numerica
Pascal Van Hentenryck, Laurent Michel, Yves Deville (häftad)

Constraint-Based Local Search
Pascal Van Hentenryck, Laurent Michel (häftad)

Advances in Computing Science - Asian 2003, Programm...
Vijay Saraswat (häftad)

Part 1 Concurrency: a concurrent semantics for concurrent constraint programmes via contextual nets, Ugo Montanari and Francesca Rossi; object-oriented concurrent constraint programming in Oz, Martin Henz et al. Part 2 Reactive systems: constraint programming in constraint nets, Ying Zhang and Alan K. Mackworth; robot programming and constraints, Dinesh K. Pai; constraint logic programming - hybrid control, logic as linear programming, Wolf Kohn et al. Part 3 Languages and environments: 2LP - linear programming and logic programming, Ken McAloon and Carol Tretkoff; a constraint-based scientific programming language, Richard Zippel; designing constraint logic programming langauges using computational systems, Claude Kirchner et al; aggregation in constraint databases, Gabriel M. Kuper; synthesis on constraint algorithms, Douglas R. Smith and Stephen J Westfold; exploiting constraint dependency information for debugging and explanation, Walid T. Keirouz et al; constraining the structure and style of object-oriented programmes, Scott Meyers et al. Part 4 Constraint-solving algorithms: an approach for solving systems of parametric polynomial equations, Deepak Kapur; Fourier's elimination - which to choose?, Jean-Louis Imbert; verifying logic circuits by benders decomposition, J.N. Hooker and H. Yan; an incremental hierarchical constraint solver, Francisco Menezes and Pedro Barahona. Part 5 Artificial intelligence: a disjunctive decomposition control schema for constraint satisfaction, Eugene C. Freuder and Paul D. Hubbe; local consistency in parallel constraint-satisfaction networks, Simon Kasif and Arthur L. Delcher; terminological reasoning with constraint handling rules, Thom Fruhwirth and Philipp Hanschke. Part 6 Computer graphics: the SkyBlue constraint solver with its applications, Michael Sanella; practical issues in graphical constraints, Michael Gleicher; constraint management in a declarative design method for 3D scene sketch modelling, Stephane Donikian and Gerard Hegron; expressing constraints for data display specification - a visual approach, Isabel F. Cruz.

(Bookdata)