Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theory and Practice of Logic Programming Année : 2013

Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT

Domaines

Informatique [cs]

Charlotte Truchet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00872982

Soumis le : lundi 14 octobre 2013-19:40:42

Dernière modification le : jeudi 7 mars 2024-11:55:20

Fichier non déposé

Dates et versions

hal-00872982 , version 1 (14-10-2013)

Identifiants

Citer

Alejandro Arbelaez, Philippe Codognet, Charlotte Truchet. Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT. Theory and Practice of Logic Programming, 2013, 13 (4-5), pp.625--639. ⟨10.1017/S1471068413000392⟩. ⟨hal-00872982⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UPMC CNRS INRIA LINA LINA-TASC INRIA2 LS2N SORBONNE-UNIVERSITE SU-SCIENCES UMI-3527 NANTES-UNIVERSITE
100 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More