Open AccessUne approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées
Author(s) -
Djamal Habet,
Lionel Paris,
Cyril Terrioux
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - computer science