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 |
Externí odkaz: |