The long way from conflict driven clause learning to conflict driven constraint learning - Archive ouverte HAL Access content directly
Conference Papers Year : 2004

The long way from conflict driven clause learning to conflict driven constraint learning

Daniel Le Berre
Centre de Recherche en Informatique de Lens
CV
Anne Parrain
Centre de Recherche en Informatique de Lens
Olivier Roussel
Centre de Recherche en Informatique de Lens
CV

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME  : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03300804

Submitted on : Tuesday, July 27, 2021-12:08:13 PM

Last modification on : Friday, March 24, 2023-2:53:22 PM

Not file

Dates and versions

hal-03300804 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03300804 , version 1

Cite

Daniel Le Berre, Anne Parrain, Olivier Roussel. The long way from conflict driven clause learning to conflict driven constraint learning. Guangzhou Symposium on Satisfiability and its applications (Guangzhou04), 2004, Guangzhou, China. ⟨hal-03300804⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More