Skip to main content
Article thumbnail
Location of Repository

Expressive Models for Monadic Constraint Programming

By Pieter Wuille and Tom Schrijvers

Abstract

Abstract. This paper presents a new FD-specific modeling front-end for the Monadic Constraint Programming framework for Haskell. A more declarative interface was introduced, supporting reified constraints among others, as well as an optimizing compilation scheme to prevent the inefficiencies that high-level modeling typically introduces. Problems can be solved directly at run-time, or translated to C ++ code for later solving. Benchmarks show that solving efficiency approximates that of handcoded Gecode programs.

Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.171.299
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.kuleuven.be/%7Et... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.