Boolean Polynomials, BDDs and CRHS Equations - Connecting the Dots with CryptaPath.

John Petter Indrøy Nicolas Costes Håvard Raddum

Published in: SAC (2020)

Keyphrases

boolean functions
decision diagrams
binary decision diagrams
heuristic search
real valued
mathematical model
black and white
numerical solution
hermite transform
boolean logic
differential equations
neural network
polynomial equations
timed automata
algebraic geometry
database
linear equations
data sets
real time