Representations and Methodology of Future Computing Technologies Session 3 BDDs, Horn Clauses and Resolution

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
Copy link to current video position
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