External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Evaluating Binary Polynomials using Subpolynomials

Jacob M. Howe, Martin Brain, Arnau Gàmez-Montolio. Evaluating Binary Polynomials using Subpolynomials. In Jochen Hoenicke, Mikolás Janota, Aina Niemetz, Sophie Tourret, editors, Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, the 28th International Conference on Theory and Applications of Satisfiability Testing and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025 & SoCS 2025), Glasgow, UK, August 10-11, 2025. Volume 4008 of CEUR Workshop Proceedings, pages 3-15, CEUR-WS.org, 2025. [doi]

Authors

Jacob M. Howe

This author has not been identified. Look up 'Jacob M. Howe' in Google

Martin Brain

This author has not been identified. Look up 'Martin Brain' in Google

Arnau Gàmez-Montolio

This author has not been identified. Look up 'Arnau Gàmez-Montolio' in Google
runs on