Preprocessing for Propositional Model Counting - Université d'Artois Access content directly
Conference Papers Year : 2014

Preprocessing for Propositional Model Counting

No 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⟩
15 View
0 Download

Share

Gmail Facebook X LinkedIn More