Newsgroups: comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!swrinde!news.dell.com!tadpole.com!uunet!psinntp!hk.super.net!news.ust.hk!hpg30a.csc.cuhk.hk!eng_ser1!jlee
From: jlee@cs.cuhk.hk (Jimmy Ho Man Lee)
Subject: Re: Need References Re: Interval Splitting
Message-ID: <CwtuDL.8zD@eng_ser1.erg.cuhk.hk>
Lines:  25
Sender: news@eng_ser1.erg.cuhk.hk
Organization: Engineering Faculty, The Chinese U. of Hong Kong
References: <3697t7$ltt@babbage.ece.uc.edu>
Date: Wed, 28 Sep 1994 06:36:57 GMT

wbradley@potato.ece.uc.edu (William Bradley) writes:


>Does anyone have any good references on Interval Splitting?
>(Or, at least, Interval Narrowing in a general sense?)
>I realize it can be pretty expensive, but I think I may have
>found a decent application for it.
Cleary's original paper on "Logical Arithmetic" gives a pretty account
on interval splitting (as used in the framework of interval narrowing).

@article{cle87,
  author = {Cleary, J.G.},
  title = {Logical Arithmetic},
  journal = {Future Computing Systems},
  volume = 2,
  number = 2,
  year = 1987,
  pages = {125--149}
  }

Hope this helps.

Cheers,
jim
