MDD propagators with explanation

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Computing, Computer Science, Algorithms +12

Efficient Conflict Driven Learning in a Boolean Satisfiability Solver

2001 · 666 citations

Computing, Computer Science, Algorithms +11

Algorithms for discrete function manipulation

A. Srinivasan, T. Ham, Sharad Malik et al. · 2002 · 269 citations

Computing, Computer Engineering, Computer Science +11

Explanation in Case-Based Reasoning–Perspectives and Goals

Frode Sørmo, Jörg Cassens, Agnar Aamodt · Artificial Intelligence Review · 2005 · 231 citations

Computing, Computer Science, Artificial Intelligence +8