Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-I-92-251

Analysis of nonlinear constraints in CLP(R)

Hanus, Michael

MPI-I-92-251. November 1992, 31 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
Solving nonlinear constraints over real numbers is a complex problem.
Hence constraint logic programming languages like CLP(R) or Prolog III
solve only linear constraints and delay nonlinear constraints until
they become linear. This efficient implementation method has the
disadvantage that sometimes computed answers are unsatisfiable or
infinite loops occur due to the unsatisfiability of delayed nonlinear
constraints. These problems could be solved by using a more powerful
constraint solver which can deal with nonlinear constraints like in
RISC-CLP(Real). Since such powerful constraint solvers are not very
efficient, we propose a compromise between these two extremes. We
characterize a class of CLP(R) programs for which all delayed nonlinear
constraints become linear at run time. Programs belonging to this
class can be safely executed with the efficient CLP(R) method while the
remaining programs need a more powerful constraint solver.
Acknowledgement:
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-92-251.pdfMPI-I-92-251.pdfMPI-I-92-251.dvi149 KBytes; 203 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1992-251
Hide details for BibTeXBibTeX
@TECHREPORT{Hanus92b,
  AUTHOR = {Hanus, Michael},
  TITLE = {Analysis of nonlinear constraints in CLP(R)},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-92-251},
  MONTH = {November},
  YEAR = {1992},
  ISSN = {0946-011X},
}