A Physics-Free Introduction to the Quantum Computation Model
A polynomial time (heuristic) SAT algorithm
A Polynomial Time Algorithm for 3-SAT
A Polynomial Time Algorithm for Graph Isomorphism
A Polynomial Time Algorithm for SAT
A Polynomial Time Nilpotence Test for Galois Groups and Related Results
A Polynomial-time Algorithm for Computing the Permanent in GF(3^q)
A polynomial-time algorithm for estimating the partition function of the ferromagnetic Ising model on a regular matroid
A polynomial-time approximation algorithm for the number of k-matchings in bipartite graphs
A polynomial-time heuristic for Circuit-SAT
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
A Proof for P =? NP Problem
A Quadratic Time-Space Tradeoff for Unrestricted Deterministic Decision Branching Programs
A Quantifier-Free String Theory for ALOGTIME Reasoning
A randomized polynomial-time algorithm for the Spanning Hypertree Problem on 3-uniform hypergraphs
A Recursive Definition of the Holographic Standard Signature
A regularity lemma, and low-weight approximators, for low-degree polynomial threshold functions
A Relation between the Protocol Partition Number and the Quasi-Additive Bound
A Reply to Hofman On: "Why LP cannot solve large instances of NP-complete problems in polynomial time"
A Representation of Changes of Images and its Application for Developmental Biolology