Exploiting historical relationships of clauses and variables in local search for satisfiability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Exploiting historical relationships of clauses and variables in local search for satisfiability

Chu Min Li
Modélisation, Information et Systèmes - UR UPJV 4290
Wanxia We
  • Fonction : Auteur
Yu Li
  • Fonction : Auteur
  • PersonId : 1156158
  • IdRef : 10051054X
Modélisation, Information et Systèmes - UR UPJV 4290

Résumé

no abstract

Domaines

Intelligence artificielle [cs.AI] Autre [cs.OH]

Gilles Dequen  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00999317

Soumis le : mardi 3 juin 2014-14:03:45

Dernière modification le : mercredi 22 mars 2023-11:44:12

Fichier non déposé

Dates et versions

hal-00999317 , version 1 (03-06-2014)

Identifiants

  • HAL Id : hal-00999317 , version 1

Citer

Chu Min Li, Wanxia We, Yu Li. Exploiting historical relationships of clauses and variables in local search for satisfiability. SAT-2012, 2012, Trento, Italy, Italy. pp.479-480. ⟨hal-00999317⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

U-PICARDIE MIS UPJV-MIS-GOC
11 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More