Travelled to:1 × Hungary
Collaborated with:L.Breveglieri A.Cherubini E.Rodaro
Talks about:alphabet (1) satisfi (1) problem (1) complet (1) trace (1) equat (1)
Person: Claudia Di Nucci
DBLP: Nucci:Claudia_Di
Contributed to:
2008Wrote 1 papers:
- AFL-2008-BreveglieriCNR #equation #problem #satisfiability
- NP-completeness of the alphabetical satisfiability problem for trace equations (LB, AC, CDN, ER), pp. 111–121.