Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis | IEEE Conference Publication | IEEE Xplore