https://hal-lirmm.ccsd.cnrs.fr/lirmm-01160360
Contributeur : Madalina Croitoru
<>
Soumis le : vendredi 5 juin 2015 - 11:17:13
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Madalina Croitoru, Cornelius Croitoru. Combinatorial results on directed hypergraphs for the SAT problem. Combinatorial results on directed hypergraphs for the SAT problem. 2015. 〈lirmm-01160360〉