Year: 2024
Type: article
Abstract: The Crossbred algorithm is currently the state-of-the-art method for solving overdetermined multivariate polynomial systems over 𝔽 2 . Since its publication in 2017, several record breaking implementations have been proposed and demonstrate the power of this hybrid approach. Despite these practical results, the complexity of this algorithm and the choice of optimal parameters for it are difficult open questions. In this paper, we prove a bivariate generating series for potentially admissible parameters of the Crossbred algorithm.
DOI: 10.62056/ak86cy7qiu
Authors: Damien Vidal, Claire Delaplace, Sorina Ionica
Institution: Université de Picardie Jules Verne
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Funder: Agence Nationale de la Recherche
OpenAlex ID: W4403176408
