Deciding floating−point logic with abstract conflict driven clause learning

Detalles Bibliográficos
Main Authors:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Formato:	Journal article
Publicado:	2013

Deciding floating-point logic with abstract conflict driven clause learning por Brain, M, Silva, V, Griggio, A, Haller, L, Kroening, D

Publicado 2014

Journal article