Propagators and Solvers for the Algebra of Modular Systems.

Bart Bogaerts, Eugenia Ternovska, David G. Mitchell

Browse the full LPAR paper archive.