Media type: E-Article Title: Lecture Notes in Computer Science: Exploring Chemistry Using SMT Contributor: Fagerberg, Rolf; Flamm, Christoph; Merkle, Daniel; Peters, Philipp imprint: Springer Berlin Heidelberg, 2012 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/978-3-642-33558-7_64 ISSN: 0302-9743; 1611-3349 Origination: Footnote: