Tipo Pubblicazione:
Contributo in atti di convegno
Source:
14th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Roma, 2007
Date:
2007
Resource Identifier:
http://www.cnr.it/prodotto/i/123254