Login / Signup
Faster linearizability checking via $P$-compositionality.
Alex Horn
Daniel Kroening
Published in:
CoRR (2015)
Keyphrases
</>
decision making
data sets
special case
memory efficient
knowledge base
image processing
data structure
domain knowledge
end users
probability distribution
information extraction
np complete
highly efficient
orders of magnitude faster