Bit-Level Optimized Constant Multiplication Using Boolean Satisfiability.

Nicolai Fiege Martin Kumm Peter Zipf

Published in: IEEE Trans. Circuits Syst. I Regul. Pap. (2024)

Keyphrases

boolean satisfiability
probabilistic planning
cellular automata
branch and bound algorithm
sat solvers
integer linear programming
symmetry breaking
simulated annealing
randomly generated
sat solving