C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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