Markov Logic Networks for Optical Chemical Structure Recognition
Practical graph isomorphism, II