Dalal's Revision in Sentential Decision Diagrams.

Lilith Mattei, Alessandro Antonucci, Alessandro Facchini

Browse the full ISAIM paper archive.