... Software Package for Automated Geometric Reasoning. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 44–66. Springer, Heidelberg (2004) Hoos, H., Stützle, T.: SATLIB: An online resource for research on SAT ... Ltd. (2008) Quaresma, ...