A short overview on modern parallel SAT-solvers | IEEE Conference Publication | IEEE Xplore