Well-founded support

• Proposition supports generated by unit propagation form a directed acyclic graph

• Unit propagation produces well-founded support

• Non-well-founded support contains cycles in the support graph

Previous slide

Next slide

Back to first slide

View graphic version