Constraints, a model of computation

dc.contributor.authorMantha, Suryanarayana M.en
dc.contributor.committeechairRoach, John W.en
dc.contributor.committeememberLee, John A. N.en
dc.contributor.committeememberBixler, J. Patricken
dc.contributor.departmentComputer Science and Applicationsen
dc.date.accessioned2014-03-14T21:49:54Zen
dc.date.adate2012-11-17en
dc.date.available2014-03-14T21:49:54Zen
dc.date.issued1987-07-05en
dc.date.rdate2012-11-17en
dc.date.sdate2012-11-17en
dc.description.abstractIn this thesis constraint solving/satisfaction is presented as a model of computation. Advantages of using constraints as a paradigm of programming are presented. A semantic schema for constraint based computations is given, following a brief survey of the more important systems based on constraints. These systems range from particular algorithms to problem solvers to constraint based general purpose programming languages. Finally, constraint satisfaction is applied to logic programming and theorem proving. It is shown that incorporating constraint solving in definite clause programs enhances their expressive power. Also, an alternative semantics - based on constraint satisfaction - is given for theorem proving.en
dc.description.degreeMaster of Scienceen
dc.format.extentv, 34 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-11172012-040118en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-11172012-040118/en
dc.identifier.urihttp://hdl.handle.net/10919/45784en
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V855_1987.M355.pdfen
dc.relation.isformatofOCLC# 17287306en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V855 1987.M355en
dc.subject.lcshComputer softwareen
dc.subject.lcshConstraints (Physics)en
dc.titleConstraints, a model of computationen
dc.typeThesisen
dc.type.dcmitypeTexten
thesis.degree.disciplineComputer Science and Applicationsen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
LD5655.V855_1987.M355.pdf
Size:
2 MB
Format:
Adobe Portable Document Format
Description:

Collections