3BA: a border bases solver with a SAT extension

DOI10.1007/978-3-319-96418-8_25zbMATH Open1395.68345OpenAlexW2883329459MaRDI QIDQ1662237FDOQ1662237

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)

Cited In (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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662237)