The main known mathematical results (in the form of 32 theorems
and 5 conjectures) about benzenoid systems are collected.
A few new results (seven theorems) are proved. Seven unsolved
problems are also pointed out.
The paper contains results on the basic properties of benzenoid
graphs, on the number of Kekule structures and on Clar\u27s
resonant sextet formulas