Models for using stochastic constraint solvers in constraint logic programming

Peter J. Stuckey, Vincent Tam

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Abstract

This paper proposes a number of models for integrating stochastic constraint solvers into constraint logic programming systems in order to solve constraint satisfaction problems efficiently. Stochastic solvers can solve hard constraint satisfaction problems very efficiently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. Hence their combination is attractive. Unfortunately there is a mismatch in the kind of information a stochastic solver provides, and that which a constraint logic programming system requires. We study the semantic properties of the various models of constraint logic programming systems that make use of stochastic solvers, and give soundness and completeness results for their use. We describe an example system we have implemented using a modified neural network simulator, GENET, as a constraint solver. We briefly compare the efficiency of these models against the propagation based solver approaches typically used in constraint logic programming.

Original languageEnglish
Title of host publicationProgramming Languages
Subtitle of host publicationImplementations, Logics, and Programs - 8th International Symposium, PLILP 1996, Proceedings
EditorsS. Doaitse Swierstra, Herbert Kuchen
PublisherSpringer
Pages423-437
Number of pages15
ISBN (Print)3540617566, 9783540617563
DOIs
Publication statusPublished - 1 Jan 1996
Externally publishedYes
Event8th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP 1996 - Aachen, Germany
Duration: 24 Sept 199627 Sept 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1140
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP 1996
Country/TerritoryGermany
CityAachen
Period24/09/9627/09/96

Cite this