Luca Breveglieri, Alessandra Cherubini, Claudia Di Nucci, Emanuele Rodaro
NP-completeness of the alphabetical satisfiability problem for trace equations
AFL, 2008.
@inproceedings{AFL-2008-BreveglieriCNR,
author = "Luca Breveglieri and Alessandra Cherubini and Claudia Di Nucci and Emanuele Rodaro",
booktitle = "{Proceedings of the 12th International Conference on Automata and Formal Languages}",
isbn = "978-963-311-367-7",
pages = "111--121",
title = "{NP-completeness of the alphabetical satisfiability problem for trace equations}",
year = 2008,
}