Combinatorial results on directed hypergraphs for the SAT problem

Madalina Croitoru 1 Cornelius Croitoru 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Type de document :
Autre publication
Combinatorial results on directed hypergraphs for the SAT problem. 2015
Liste complète des métadonnées

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

Identifiants

  • HAL Id : lirmm-01160360, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

78