BDD-Guided Clause Generation

DOI10.1007/978-3-319-18008-3_15zbMath1459.68191OpenAlexW807127281MaRDI QIDQ5741469

Brian Kell, Ashish Sabharwal, Willem-Jan Hoeve

Publication date: 25 July 2016

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18008-3_15

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (2)

Decision Diagrams for Discrete Optimization: A Survey of Recent Advances ⋮ Domain reduction techniques for global NLP and MINLP optimization

This page was built for publication: BDD-Guided Clause Generation