A Minimal Extension of the WAM for clp(FD) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1993

A Minimal Extension of the WAM for clp(FD)

Philippe Codognet
  • Fonction : Auteur
  • PersonId : 961571
  • IdRef : 066893607
Daniel Diaz

Résumé

We present an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive constraint X in r which embeds the core propagation mechanism. Complex user constraints such as linear equations or inequations are compiled into X in r expressions which encode the propagation scheme chosen to solve the constraint. The uniform treatment of a single primitive constraint leads to a better understanding of the overall constraint solving process and makes possible three main global optimizations which encompass many previous particular optimizations of "black box" finite domains solvers. Implementation results show that this approach combines both simplicity and efficiency. Our clp(FD) system is more than twice as fast as CHIP on average, with peak speedup reaching seve
Fichier non déposé

Dates et versions

hal-00668913 , version 1 (10-02-2012)

Identifiants

  • HAL Id : hal-00668913 , version 1

Citer

Philippe Codognet, Daniel Diaz. A Minimal Extension of the WAM for clp(FD). International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790. ⟨hal-00668913⟩
68 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More