Résolution parallèle de SAT : mieux collaborer pour aller plus loin
type: Dataset
description: National audience
issued: 2026-05-09T11:46:22.522853
language: fr
modified: 2026-05-09T11:46:22.522858
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
landing page: 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12)

Résolution parallèle de SAT : mieux collaborer pour aller plus loin
type: Distribution
format: HTML
issued: 2026-05-09T11:46:22.524447
modified: 2026-05-09T11:46:22.517689
access URL: https://hal.science/hal-00869905

test_moissonnage_selune
type: Agent