QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structure | IEEE Conference Publication | IEEE Xplore