State Traversal guided by Hamming Distance Profiles.

Andreas Hett Christoph Scholl Bernd Becker State Traversal guided by Hamming Distance Profiles. 57-66 2000 MBMV conf/mbmv/2000 db/conf/mbmv/mbmv2000.html#HettSB00