Skip to Main content Skip to Navigation
Other publications

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
2 FII - Facultatea de Informatica, Iasi
Document type :
Other publications
Complete list of metadata
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01160360
Contributor : Madalina Croitoru Connect in order to contact the contributor
Submitted on : Friday, June 5, 2015 - 11:17:13 AM
Last modification on : Friday, August 5, 2022 - 3:03:00 PM

Identifiers

  • HAL Id : lirmm-01160360, version 1

Collections

CNRS | INRIA | GRAPHIK | LIRMM | INRIA2 | MIPS | UNIV-MONTPELLIER

Citation

Madalina Croitoru, Cornelius Croitoru. Combinatorial results on directed hypergraphs for the SAT problem. 2015. ⟨lirmm-01160360⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

75