Natalia Kalinnik Tobias Schubert Erika Ábrahám Ralf Wimmer Bernd Becker Picoso - A Parallel Interval Constraint Solver. 473-479 2009 PDPTA conf/pdpta/2009 db/conf/pdpta/pdpta2009.html#KalinnikSAWB09