Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. - Viviana Bruno; Luz Amanda Garcia; Sergio Nocco; Stefano Quer (J. Satisf. Boolean Model. Comput., 2008)