Automated Conjecturing Approach for Benzenoids
Benzenoids are graphs representing the carbon structure of molecules, defined by a closed path in the hexagonal lattice. These compounds are of interest to chemists studying existing and potential carbon structures. The goal of this study is to conjecture and prove relations between graph theoretic...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
VCU Scholars Compass
2016
|
| Subjects: | |
| Online Access: | http://scholarscompass.vcu.edu/etd/4608 http://scholarscompass.vcu.edu/cgi/viewcontent.cgi?article=5685&context=etd |