Synthesizing Precise and Useful Commutativity Conditions.

Kshitij Bansal Eric Koskinen Omer Tripp

Published in: J. Autom. Reason. (2020)

Keyphrases

sufficient conditions
real time
environmental conditions
wide range
data sets
information retrieval
search engine
case study
three dimensional
search algorithm
lower bound