Skip to Main content Skip to Navigation
New interface


...
tel-02884327v1  Habilitation à diriger des recherches
Daniel Le Berre. Sat4j, un moteur libre de raisonnement en logique propositionnelle
Intelligence artificielle [cs.AI]. Université d'Artois, 2010
...
tel-03716897v1  Theses
Romain Wallon. Pseudo-Boolean Reasoning and Compilation
Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English