How to Use Symmetries in Boolean Constraint Solving. - Alfonso San Miguel Aguirre (WCLP, 1991)

Symmetries and the Cardinality Operator. - Alfonso San Miguel Aguirre (ECAI, 1992)

Random 3-SAT and BDDs: The Plot Thickens Further. - Alfonso San Miguel Aguirre; Moshe Y. Vardi (CP, 2001)

Random 3-SAT: The Plot Thickens. - Cristian Coarfa; Demetrios D. Demopoulos; Alfonso San Miguel Aguirre; Devika Subramanian; Moshe Y. Vardi (Constraints An Int. J., 2003)

Deformable Asymmetric Tops under Similarity Transformations. - Alfonso San Miguel Aguirre (J. Nonlinear Sci., 2003)