A flexible schema for generating explanations in lazy theory propagation.

Roberto Bruttomesso, Edgar Pek, Natasha Sharygina

Browse the full MEMOCODE paper archive.