An Exact Inference Scheme for MinSAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

An Exact Inference Scheme for MinSAT

Felip Manya

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01323744 , version 1 (31-05-2016)

Identifiants

  • HAL Id : hal-01323744 , version 1

Citer

Chu Min Li, Felip Manya. An Exact Inference Scheme for MinSAT. IJCAI-2015, 2015, Buenos Aires, Argentina, Argentina. pp.1959-1965. ⟨hal-01323744⟩
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More