Skip to Main content Skip to Navigation
Conference papers

Enumerating All Solutions of a {B}oolean {CSP} by non-decreasing weight

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01195416
Contributor : Nadia Creignou Connect in order to contact the contributor
Submitted on : Monday, September 7, 2015 - 8:41:01 PM
Last modification on : Tuesday, October 19, 2021 - 10:59:46 PM

Identifiers

  • HAL Id : hal-01195416, version 1

Collections

Citation

Nadia Creignou, Johannes Schmidt, Frédéric Olive. Enumerating All Solutions of a {B}oolean {CSP} by non-decreasing weight. 14th International Conference on Theory and Applications of Satisfiability Testing, SAT'2011, 2011, Ann Arbor, United States. pp.120--133. ⟨hal-01195416⟩

Share

Metrics

Les métriques sont temporairement indisponibles