Recherche des graphes des matrices de Coxeter hyperboliques d’ordre ⩽ 10 Chein (1969) ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Reducibility as a tool to extend the power of approximation algorithms the minimization of boolean expressions A. Aiello, E. Burattini, A. Massarotti (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications