mary@deepthot.UUCP (Mary MacVicar) (03/14/84)
PROF. A.K. DEWDNEY
DEPARTMENT OF COMPUTER SCIENCE
THE UNIVERSITY OF WESTERN ONTARIO
will speak on
TRANSAT - A System for Non-Deterministic Programming
A B S T R A C T
A "non-deterministic program" looks like a deterministic one except
that certain assignment statements are made to sets rather than vari-
ables. Such programs are usually shorter and much easier to write
than their deterministic counterparts. They can be translated by a
very efficient version of Cook's generic (NP-completeness) transfor-
mation into relatively small instances of the satisfiability problem.
This talk describes two TRANSAT systems and examines the possibility
of solving satisfiability problems very quickly up to some finite
threshhold of instance size.
DATE: Friday, March l6, 1984
TIME: 2:30 p.m.
PLACE: Middlesex College, Room 354
--
...!utzoo!uwo!deepthot!mary
(Mary Macvicar @ UWO Comp Sci, London Canada)