Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.