3BA: a border bases solver with a SAT extension

DOI10.1007/978-3-319-96418-8_25zbMath1395.68345OpenAlexW2883329459MaRDI QIDQ1662237

Martin Kreuzer, Jan Horáček

Publication date: 17 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96418-8_25

zbMATH Keywords

SAT solvingBoolean polynomialBoolean border basis algorithmcryptographic attack

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

3BA

Uses Software

• FGb
• PolyBoRi
• ApCoCoA
• antom
• GBLA
• LELA

This page was built for publication: 3BA: a border bases solver with a SAT extension