Keyword:efficient algorithms

Papers
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz EasyChair Preprint no. 10510
Algorithm Design for Tensor Units Rezaul Chowdhury, Francesco Silvestri and Flavio Vella EasyChair Preprint no. 6442
An O(nlogn/logw) Time Algorithm for Ridesharing Yijie Han and Chen Sun In:SEDE 2020. 29th International Conference on Software Engineering and Data Engineering
Efficient Algorithms for Computation of Equilibrium/Transient Probability Distribution of Finite Markov Chains: Potential Lower Bound on Computational Complexity Rama Murthy Garimella EasyChair Preprint no. 490