=ADD=
=author=
Ratschan; Stefan + Hong; Hoon
=title=
Determining the Relationship among Sets
=number=
96-28
=month=
12
=year=
1996
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1996/96-28.ps.gz
=abstract=
  Doing entailment/disentailment checks on sets is an important operation in constraint
  programming. This problem is generalized to the problem of answering queries about arbitrary
  sets using a certain query language.  Furthermore an efficient algorithm for solving this problem
  for sets described by arbitrary non-linear polynomials is presented.
=howpublished=
Proceedings of IMACS ACA, Linz - Hagenberg, 1996
=location=
2
=owner=
2
=source=
3
=reftype=
14