Combinatorial results on directed hypergraphs for the SAT problem

Autre

Madalina Croitoru et Cornelius Croitoru

23/07/2015

Fichiers et liens (1)

url

Find in HALAfficher

1 Consultations de la notice

Titre: Combinatorial results on directed hypergraphs for the SAT problem
Créateurs - sans rôle: Madalina Croitoru - Graphs for Inferences on Knowledge
Cornelius Croitoru - Informatica
Identifiants: 99152003009311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Other
Champs locaux: lirmm-01160360