Deciding floating−point logic with abstract conflict driven clause learning

Deciding floating−point logic with abstract conflict driven clause learning

अन्य संस्करण दिखाएं (1)
ग्रंथसूची विवरण
मुख्य लेखकों: Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
स्वरूप: Journal article
प्रकाशित: 2013
विवरण
सारांश:

समान संसाधन