Daniel Monegatto Santoro, Maria do Carmo Nicoletti, Estevam R. Hruschka Jr.. C-Focus-3: a C-Focus with a New Heuristic Search Strategy. In Luiza de Macedo Mourelle, Nadia Nedjah, Janusz Kacprzyk, Ajith Abraham, editors, Seventh International Conference on Intelligent Systems Design and Applications, ISDA 2007, Rio de Janeiro, Brazil, October 20-24, 2007. pages 479-484, IEEE Computer Society, 2007. [doi]
Abstract is missing.