Integrating Algebraic and SAT Solvers

DOI10.1007/978-3-319-72453-9_11zbMath1497.68546OpenAlexW2779479126MaRDI QIDQ4628487

Jan Horáček, Bernd Becker, Jan Burchard, Martin Kreuzer

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-72453-9_11

zbMATH Keywords

SAT solvingBoolean polynomialcryptographic attackborder basis algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cryptography (94A60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

On conversions from CNF to ANF

This page was built for publication: Integrating Algebraic and SAT Solvers