Login / Signup
ddNF: An Efficient Data Structure for Header Spaces.
Nikolaj Bjørner
Garvit Juniwal
Ratul Mahajan
Sanjit A. Seshia
George Varghese
Published in:
Haifa Verification Conference (2016)
Keyphrases
</>
data sets
decision making
image processing
artificial neural networks
mobile devices
learning spaces