Roy, Pierre and Pachet, François Reifying Constraint Satisfaction in Smalltalk. Journal of Object-Oriented Programming, 10(4):43-51, July/August 1997.

Sony CSL authors: François Pachet, Pierre Roy


We discuss the problem of the representation of constraints in an object-oriented programming language. We focus on a particular topic - constraint satisfaction for finite domains - and propose a class library that integrates constraints within an object-oriented language. The library is based on the systematic reification of variables, constraints, problems and algorithms. The library is implemented in Smalltalk, and is used to state and solve efficiently complex constraint problems involving Smalltalk structures.

Keywords: constraints, backjava


[PDF] Adobe Acrobat PDF file

BibTeX entry

@ARTICLE { roy:97b, AUTHOR="Roy, Pierre and Pachet, François", JOURNAL="Journal of Object-Oriented Programming", MONTH="July/August", NUMBER="4", PAGES="43-51", TITLE="Reifying Constraint Satisfaction in Smalltalk", VOLUME="10", YEAR="1997", }