Interface theory of benzenoids: Basic applications

We show that the recently introduced interface theory of benzenoids [Langner and Witek, MATCH Commun. Math. Comput. Chem. (2020)] can be readily applied to characterize various properties of benzenoids and their Clar covers. A carefully selected collection of examples demonstrates how to use interface theory for detecting non-Kekuleán or essentially disconnected character of benzenoids, computing their Clar numbers, constructing and enumerating their Kekulé structures and Clar covers, and determining their Zhang-Zhang polynomials. The exposition has rather pedagogical character and is supposed to familiarize the reader with the basic toolkit of the interface theory of benzenoids.