Approche hybride pour SAT

National audience

Data and Resources

Additional Info

Field Value
Source 17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10)
Author Audemard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand
Maintainer CCSD
Last Updated May 9, 2026, 11:46 (UTC)
Created May 9, 2026, 11:46 (UTC)
Identifier hal-00869833
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Centre de Recherche en Informatique de Lens (CRIL) ; Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS)
coverage Caen, France
creator Audemard, Gilles
date 2010-05-09T00:00:00
harvest_object_id f6e91381-c2bc-43b1-b4a2-c494fa978643
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2023-09-20T00:00:00
set_spec type:COMM