On CNF Encodings of Decision Diagrams-Reference-Cited by-同舟云学术

On CNF Encodings of Decision Diagrams

Published:2016 Issue: Volume: Page:1-17
ISSN:0302-9743
Container-title:Integration of AI and OR Techniques in Constraint Programming
language:
Short-container-title:

Author:

Abío Ignasi,Gange Graeme,Mayer-Eichberger Valentin,Stuckey Peter J.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-33954-2_1

Reference27 articles.

1. Lecture Notes in Computer Science;I Abío,2013

2. Lecture Notes in Computer Science;I Abío,2014

3. Ansótegui, C., Manyà, F.: Mapping problems with finite-domain variables into problems with boolean variables. In: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, Vancouver, BC, Canada, Online Proceedings, 10–13 May 2004

4. Lecture Notes in Computer Science;F Bacchus,2007

5. Bessiere, C., Katsirelos, G., Narodytska, N., Walsh, T.: Circuit complexity and decompositions of global constraints. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI 2009, Pasadena, California, USA, 11–17 July 2009, pp. 412–418 (2009)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Propagation complete encodings of smooth DNNF theories;Constraints;2022-06-03

2. Learning a Propagation Complete Formula;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022

3. Coupling Different Integer Encodings for SAT;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022

4. An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations;Artificial Intelligence Review;2020-02-18

5. Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2020