Equational Bit-Vector Solving via Strong Gröbner Bases.

Jiaxin Song Hongfei Fu Charles Zhang

Published in: CoRR (2024)

Keyphrases

bit vector
polynomial equations
numerically stable
algebraic equations
bit vectors
theorem prover
theorem proving
combinatorial optimization
data sets
neural network
high level
np hard
np complete
solving problems
quadratic programming