Deciding floating−point logic with abstract conflict driven clause learning

Bibliografiska uppgifter
Huvudupphovsmän:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Materialtyp:	Journal article
Publicerad:	2013

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

Publicerad 2014

Journal article