Deciding floating−point logic with abstract conflict driven clause learning

Bibliografiset tiedot
Päätekijät: Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Aineistotyyppi: Journal article
Julkaistu: 2013