Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler. SWORD: A SAT like prover using word level information. In IFIP VLSI-SoC 2007, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Atlanta, GA, USA, 15-17 October 2007. pages 88-93, IEEE, 2007. [doi]
Abstract is missing.