Solution counting for CSP and SAT with large tree-width - Aix-Marseille Université Access content directly
Journal Articles Control Systems and Computers Year : 2011
No file

Dates and versions

hal-01479554 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479554 , version 1

Cite

Aurélie Favier, Philippe Jégou, Simon De Givry. Solution counting for CSP and SAT with large tree-width. Control Systems and Computers, 2011, 2, pp.4-13. ⟨hal-01479554⟩
86 View
0 Download

Share

Gmail Facebook X LinkedIn More