An algorithm for counting maximum weighted independent sets and its application. Appeared in SODA 02, by Vilhelm Dahullof, Peter Jonsson Presenter Jie.
Graphs An Introduction. Ouline What are Graphs? Applications Terminology and Problems Representation (Adj. Mat and Linked Lists) Searching –Depth First.
ECE 667 - Synthesis & Verification - Lecture 4 1 ECE 697B (667) Spring 2006 ECE 697B (667) Spring 2006 Synthesis and Verification of Digital Circuits Allocation:
Algorithm Design Patterns and Anti-Patterns
