| Type of Document |
Master's Thesis |
| Author |
Mantha, Suryanarayana M.
|
| URN |
etd-11172012-040118 |
| Title |
Constraints, a model of computation |
| Degree |
Master of Science |
| Department |
Computer Science and Applications |
| Advisory Committee |
| Advisor Name |
Title |
| Roach, John W. |
Committee Chair |
| Bixler, J. Patrick |
Committee Member |
| Lee, John A. N. |
Committee Member |
|
| Keywords |
|
| Date of Defense |
1987-07-05 |
| Availability |
restricted |
Abstract
In 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.
|
| Files |
| Filename |
Size |
Approximate Download Time
(Hours:Minutes:Seconds)
|
| 28.8 Modem |
56K Modem |
ISDN (64 Kb) |
ISDN (128 Kb) |
Higher-speed Access |
![[VT]](http://scholar.lib.vt.edu/images/ETD-db/restricted.gif) |
LD5655.V855_1987.M355.pdf |
2.13 Mb |
00:09:51 |
00:05:04 |
00:04:26 |
00:02:13 |
00:00:11 |
![[BTD]](http://scholar.lib.vt.edu/images/ETD-db/btd.gif)
next to an author's name indicates that all
files or directories associated with their ETD
are accessible from the Virginia Tech campus network only.
|
