Mitsuo Takaki Diego Cavalcanti Rohit Gheyi Juliano Iyoda Marcelo d'Amorim Ricardo Bastos Cavalcante Prudêncio Randomized constraint solvers: a comparative study. 243-253 2010 6 ISSE 3 http://dx.doi.org/10.1007/s11334-010-0124-1 db/journals/isse/isse6.html#TakakiCGIdP10