C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Range Allocation for Separation Logic.
Muralidhar Talupur
Nishant Sinha
Ofer Strichman
Amir Pnueli
Published in:
CAV (2004)
Keyphrases
</>
wide range
resource allocation
data mining
modal logic
databases
range data
probabilistic logic
classical logic
genetic algorithm
special case
expressive power
optimal allocation
allocation scheme