Deciding floating−point logic with abstract conflict driven clause learning

Bibliographische Detailangaben
Hauptverfasser:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Format:	Journal article
Veröffentlicht:	2013

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

Veröffentlicht 2014

Journal article