Eigenvector centrality in industrial SAT instances - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Eigenvector centrality in industrial SAT instances

Fichier non déposé

Dates et versions

hal-00790505 , version 1 (20-02-2013)

Identifiants

  • HAL Id : hal-00790505 , version 1

Citer

Laurent Simon, George Katsirelos. Eigenvector centrality in industrial SAT instances. 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. ⟨hal-00790505⟩
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More