Knowledge Compilation for Model Counting: Affine Decision Trees

Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas. Knowledge Compilation for Model Counting: Affine Decision Trees. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 947-953, IJCAI/AAAI, 2013. [doi]

Authors

Frédéric Koriche

This author has not been identified. Look up 'Frédéric Koriche' in Google

Jean-Marie Lagniez

This author has not been identified. Look up 'Jean-Marie Lagniez' in Google

Pierre Marquis

This author has not been identified. Look up 'Pierre Marquis' in Google

Samuel Thomas

This author has not been identified. Look up 'Samuel Thomas' in Google