Deep Integration of Circuit Simulator and SAT Solver.

He-Teng Zhang Jie-Hong R. Jiang Luca G. Amarù Alan Mishchenko Robert K. Brayton

Published in: DAC (2021)

Keyphrases

sat solvers
sat solving
orders of magnitude
sat instances
boolean satisfiability
sat problem
search tree
search space
constraint satisfaction
max sat
search strategies
propositional satisfiability
sat encodings
boolean formula
constraint solver
answer sets
data structure