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


Login to edit


Webmaster, Wed Sep 16 16:33:27 2009