Dissertation Defense

Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic

Name: Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic
Start: 2006-08-09T15:00:00-04:00
End: 2006-08-09T15:00:00-04:00

Hossein M Sheini

WHEN:

Wednesday, August 9, 2006 @ 3:00 pm
Add to Google Calendar

Events

Dissertation Defense

Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic

Sponsored by