Publications
| Authors: | Soheib Baarir |
| Marco Beccuti | |
| Giuliana Franceschinis | |
| Title: | New Solvers for Asymmetric Systems in GreatSPN |
| Published on: | QEST |
| Pages: | 235-236 |
| Year: | 2008 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...oi.org/10.1109/QEST.2008.38 |