A novel method for inference of chemical compounds with prescribed topological substructures based on integer programming.