Pubblicazioni
| Autori: | Soheib Baarir |
| Marco Beccuti | |
| Giuliana Franceschinis | |
| Titolo: | New Solvers for Asymmetric Systems in GreatSPN |
| Apparso su: | QEST |
| Pagine: | 235-236 |
| Anno: | 2008 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...oi.org/10.1109/QEST.2008.38 |