Deciding floating−point logic with abstract conflict driven clause learning

Détails bibliographiques
Auteurs principaux:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Format:	Journal article
Publié:	2013

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

Publié 2014

Journal article