Lakhdar Saïs, Mohand-Said Hacid, François Hantry. On the complexity of computing minimal unsatisfiable LTL formulas. Electronic Colloquium on Computational Complexity (ECCC), 19:69, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.