Deciding floating−point logic with abstract conflict driven clause learning

Deciding floating−point logic with abstract conflict driven clause learning

Show other versions (1)
מידע ביבליוגרפי
Main Authors: Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
פורמט: Journal article
יצא לאור: 2013
תיאור
סיכום:

פריטים דומים