A Circuit-Based SAT Solver for Logic Synthesis.

He-Teng Zhang Jie-Hong R. Jiang Alan Mishchenko

Published in: ICCAD (2021)

Keyphrases

logic synthesis
sat solvers
heuristic search
sat solving
orders of magnitude
multi valued
constraint satisfaction
search space
propositional satisfiability
logic circuits
sat problem
max sat
boolean satisfiability
search strategies
quantum computing
sat instances
inductive learning
search algorithm