Extending Resolution by Dynamic Substitution of Boolean Functions.

Sad Jabbour, Jerry Lonlac, Lakhdar Sais

Browse the full ICTAI paper archive.