Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing.
Eric KoskinenKshitij BansalPublished in: VMCAI (2021)
Keyphrases
- data structure
- efficient data structures
- space efficient
- theorem prover
- index structure
- formal proofs
- main memory
- quadtree
- data types
- r tree
- natural deduction
- information retrieval
- theorem proving
- linked list
- mathematical proofs
- equational theories
- update operations
- disparity estimation
- decision procedures
- real time
- suffix array
- multidimensional data
- space complexity
- motion detection
- b tree
- background subtraction
- frequent patterns
- itemsets
- computer vision
- neural network