Programming Systems Lab: Publications by Martin Mann

Saarland University Computer Science

Select author:

2008

Decomposition During Search for Propagation-Based Constraint Solvers   (pdf)
Martin Mann, Guido Tack, Sebastian Will
Technical Report, Available from http://arxiv.org/abs/0712.2389


Login to edit


Legal notice, Privacy policy