Explaining propagators for s-DNNF circuits Full Written Papers Refereed uri icon

Overview

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2012

Identity

Digital Object Identifier (DOI)

  • 10.1007/978-3-642-29828-8_13

International Standard Book Number (ISBN) 13

  • 9783642298271

Additional Document Info

Parent Title

  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • The 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2012)

Volume

  • 7298 LNCS

Publisher

  • Springer Verlag