Special issue 21st RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion"

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (VerfasserIn)
Weitere Verfasser: Mancini, Toni (HerausgeberIn), Maratea, Marco (HerausgeberIn), Ricca, Francesco (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam IOS Press 2016
Schriftenreihe:AI communications vol. 29, no. 2 (2016)
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:"This special issue of 'AI communications' publishes extended versions of the best papers orally presented at th 21st RCRA International Workshop (RCRA 2014). RCRA 2014 was held in Vienna, Austria, on 17 and 18 July 2014 as a workshop of the Federated Logic Conference (FLoC 2014) and part of the Vienna Summer of Logic (VSL)." - Vorwort
Literaturangaben
Beschreibung:Seite 245-392
Illustrationen