Journal of the Association for Computing Machinery Issues Research Articles in May 2020 Edition
June 11, 2020
June 11, 2020
NEW YORK, June 11 -- The Journal of the Association for Computing Machinery, a journal that says it provides principles of computer science, published research articles on the following topics in its May 2020 edition:
* Deterministic Factorization of Sparse Polynomials with Bounded Individual Degree
Proof Complexity:
* Frege Systems for Quantified Boolean Logic
Algorithms:
* A Simpler and Faster Strongly Polynomial Algorithm for . . .
* Deterministic Factorization of Sparse Polynomials with Bounded Individual Degree
Proof Complexity:
* Frege Systems for Quantified Boolean Logic
Algorithms:
* A Simpler and Faster Strongly Polynomial Algorithm for . . .