Questo libro costituisce gli atti post-conferenza dell'8° Simposio Internazionale sul Calcolo Parametrizzato ed Esatto, IPEC 2013, tenutosi a Sophia Antipolis, in Francia, nel settembre 2013. I 29 documenti completi revisionati presentati sono stati attentamente esaminati e selezionati tra 58 contributi. Gli argomenti affrontati riguardano la ricerca in tutti gli aspetti degli algoritmi parametrizzati/esatti e della complessità, comprese ma non limitate a nuove tecniche per la progettazione e l'analisi di algoritmi parametrizzati ed esatti, risultati di trattabilità a parametri fissi, teoria della complessità parametrizzata, relazione tra complessità parametrizzata e classificazioni tradizionali della complessità, applicazioni di calcolo parametrizzato ed esatto e problemi di implementazione di algoritmi parametrizzati ed esatti.
caricamento...
