Deciding floating−point logic with abstract conflict driven clause learning

Detalhes bibliográficos
Principais autores:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Formato:	Journal article
Publicado em:	2013

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

Publicado em 2014

Journal article