arXiv 2001-02-19 EN Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement Kobayashi, Hirotada · Matsumoto, Keiji
arXiv 2001-01-24 EN Deterministic computations whose history is independent of the order of asynchronous updating Gacs, Peter
arXiv 2001-01-17 EN Combinatorial Toolbox for Protein Sequence Design and Landscape Analysis in the Grand Canonical Model Aspnes, James · Hartling, Julia · Kao, Ming-Yang · Kim, Junhyong +1
arXiv 2000-11-16 EN A Moment of Perfect Clarity II: Consequences of Sparse Sets Hard for NP with Respect to Weak Reductions Glasser, Christian · Hemaspaandra, Lane A.
arXiv 2000-11-13 EN Designing Proxies for Stock Market Indices is Computationally Hard Kao, Ming-Yang · Tate, Stephen R.
arXiv 2000-10-14 EN Towards Understanding the Predictability of Stock Markets from the Perspective of Computational Complexity Aspnes, James · Fischer, David F. · Fischer, Michael J. · Kao, Ming-Yang +1
arXiv 2000-10-10 EN On Exponential-Time Completeness of the Circularity Problem for Attribute Grammars Wu, Pei-Chi
arXiv 2000-10-02 EN Low Ambiguity in Strong, Total, Associative, One-Way Functions Homan, Christopher M.
arXiv 2000-08-23 EN Phutball Endgames are Hard Demaine, Erik D. · Demaine, Martin L. · Eppstein, David
arXiv 2000-08-11 EN On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs Xu, Ke · Li, Wei
arXiv 2000-07-14 EN Efficient cache use for stencil operations on structured discretization grids Frumkin, Michael A. · Van der Wijngaart, Rob F.
arXiv 2000-07-13 EN A Moment of Perfect Clarity I: The Parallel Census Technique Glasser, Christian · Hemaspaandra, Lane A.
arXiv 2000-06-21 EN Statistical mechanics perspective on the phase transition in vertex covering finite-connectivity random graphs Hartmann, Alexander K. · Weigt, Martin
arXiv 2000-05-09 EN An Average Analysis of Backtracking on Random Constraint Satisfaction Problems Xu, Ke · Li, Wei
