CSE
CSE
CSE CSE


Defense Event

Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic

Hossein M Sheini


 
Wednesday, August 09, 2006
3:00pm - 5:00pm
1690 Beyster Bldg.

Add to Google Calendar

Additional Information

Sponsor(s): Karem A Sakallah

Open to: UM Only