BDDs, Horn Clauses and Resolution

Part of the series Representations and Methodology of Future Computing Technologies
BDDs, Horn Clauses and Resolution Dr. Mohammad Ghasemzadeh

BDDs, Horn Clauses and Resolution

Date: March 10, 2003
Language: English
Duration: 00:30:50
tele-TASK now provides the ability to create playlists. You can create your own playlist based on this lecture or view playlists containing this lecture.
Show