Swarmsat : un solveur sat massivement parallèle

Autor: Lagniez, Jean-Marie, Tabary, Sébastien, Szczepanski, Nicolas
Přispěvatelé: Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), DELORME, Fabien
Jazyk: francouzština
Rok vydání: 2015
Předmět:
Zdroj: 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15)
11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015, Bordeaux, France
Popis: National audience
Databáze: OpenAIRE