Combinatorial results on directed hypergraphs for the SAT problem - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Other Publications Year : 2015

Combinatorial results on directed hypergraphs for the SAT problem

Madalina Croitoru
Graphs for Inferences on Knowledge
CV
Cornelius Croitoru
  • Function : Author
Facultatea de Informatica, Iasi

Domains

Artificial Intelligence [cs.AI]

Madalina Croitoru  : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01160360

Submitted on : Friday, June 5, 2015-11:17:13 AM

Last modification on : Wednesday, July 5, 2023-5:05:41 PM

No file

Dates and versions

lirmm-01160360 , version 1 (05-06-2015)

Identifiers

  • HAL Id : lirmm-01160360 , version 1

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA GRAPHIK LIRMM INRIA2 MIPS UNIV-MONTPELLIER
81 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More