Preprocessing for Propositional Model Counting - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Preprocessing for Propositional Model Counting

(1) , (1)
1
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-03300781 , version 1

Cite

Jean-Marie Lagniez, Pierre Marquis. Preprocessing for Propositional Model Counting. 28th AAAI Conference on Artificial Intelligence (AAAI'14), 2014, Québec, Canada. pp.2688-2694. ⟨hal-03300781⟩
9 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More