The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content

LAA

Seminar

A progressive approach to solving satisfiability modulo theories (SMT)

Sakallah, K (University of Michigan)
Friday 12 May 2006, 11:30-12:00

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧