C-Focus-3: a C-Focus with a New Heuristic Search Strategy.

Daniel Monegatto Santoro, Maria do Carmo Nicoletti, Estevam R. Hruschka Jr.

Browse the full ISDA paper archive.