Hybrid SAT Solver Considering Circuit Observability | IEEE Conference Publication | IEEE Xplore