Analyzing infeasible constraint systems

Constraint systems, problems defined by sets of variables and constraints affecting the allowed assignments to those variables, arise in a wide range of real-world problems, from planning and scheduling to digital logic circuit verification. These problems have been studied widely in computer scienc...

Full description

Bibliographic Details

Main Author:	Liffiton, Mark H
Format:	Dissertation
Language:	English
Published:	ProQuest Dissertations & Theses 01-01-2009
Subjects:	Artificial intelligence Computer science
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!