SWORD: A SAT like prover using word level information | IEEE Conference Publication | IEEE Xplore