Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Vidal et al. (2024) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: