The Clar Number of a Benzenoid Hydrocarbon and Linear Programming - Hansen, Pierre; Zheng, Maolin (Groupe d’études et de recherche en analyse des décisions, 1992)