Keyword:efficient algorithms

Publications
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz In:Proceedings of the 7th and 8th Vampire Workshop
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
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz EasyChair Preprint 10510
Algorithm Design for Tensor Units Rezaul Chowdhury, Francesco Silvestri and Flavio Vella EasyChair Preprint 6442
Efficient Algorithms for Computation of Equilibrium/Transient Probability Distribution of Finite Markov Chains: Potential Lower Bound on Computational Complexity Rama Murthy Garimella EasyChair Preprint 490