Constraint Processing

Selected Papers

By: Manfred Meyer (Editor)

Write A Review

Paperback | 20 June 1995

At a Glance

Paperback
300 Pages

Dimensions(cm)
23.39 x 15.6 x 1.6

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994).
This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Artificial Intelligence Software Engineering Mathematics Mathematical Foundation Mathematical Logic

Databases

A Detailed Algorithm Testing Guards over Feature Trees	p. 11
A Generalized Semantics for Concurrent Constraint Languages and Their Abstract Interpretation	p. 39
High-Level Constraints over Finite Domains	p. 51
Integrating Constraints in an Object-Based Knowledge Representation System	p. 67
A CLP Approach for Examination Planning	p. 85
The Many Paths to Satisfaction	p. 103
Directed Arc Consistency Preprocessing	p. 121
In Search of Exceptionally Difficult Constraint Satisfaction Problems	p. 139
Using Bidirectionality to Speed Up Arc-Consistency Processing	p. 157
Using Metalevel Constraint Knowledge to Reduce Constraint Checking	p. 171
Forward Checking with Backmarking	p. 185
Redundant Hidden Variables in Finite Domain Constraint Problems	p. 205
Semantic Properties of CHIP (FD)	p. 225
Combining Hill Climbing and Forward Checking	p. 247
GA-easy and GA-hard Constraint Satisfaction Problems	p. 267
Contributors	p. 285
Author Index	p. 289
Table of Contents provided by Blackwell. All Rights Reserved.

Constraint Processing

Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Tech Coup

How to Save Democracy from Silicon Valley

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

Python All-in-One For Dummies

3rd Edition

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Empire of AI

Inside the reckless race for total domination

5G and Beyond Wireless Networks

Technology, Network Deployments, and Materials for Antenna Design

Advances in Digital Marketing in the Era of Artificial Intelligence

Case Studies and Data Analysis for Business Problem Solving

Advances on Mathematical Modeling and Optimization with Its Applications

Emerging Technologies

Array and Wearable Antennas

Design, Optimization, and Applications

Artificial Intelligence for Cyber Defense and Smart Policing

Artificial Intelligence of Things (AIoT)

New Standards, Technologies and Communication Systems

Autonomous Driving Network

Network Architecture in the Era of Autonomy

Bayesian Machine Learning in Geotechnical Site Characterization

Challenges in Geotechnical and Rock Engineering

Bioinformatics for Oral Cancer

Current Insights and Advances

Blockchain and Digital Twin Enabled IoT Networks

Privacy and Security Perspectives

Blockchain and Machine Learning for IoT Security

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

CATIA v5

Advanced Parametric and Hybrid 3D Design

This product is categorised by