A Note on the Inversion Complexity of Boolean Functions in Boolean Formulas
A note on the sign degree of formulas
A Note on Tiling under Tomographic Constraints
A Novel Hybrid Algorithm for Task Graph Scheduling
A Numerical Algorithm for Zero Counting. I: Complexity and Accuracy
A Parallel Approximation Algorithm for Positive Semidefinite Programming
A Particular Universal Cellular Automaton
A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)
A PCP Characterization of AM
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