Hardware/software co-modeling of SAT solver based on distributed computing elements using SystemC | IEEE Conference Publication | IEEE Xplore