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



State of the art in QBF reasoning, with emphasis on applications in FV

Giunchiglia, E (DIST - Universita di Genova)
Friday 12 May 2006, 14:00-15:00

Seminar Room 1, Newton Institute

Back to top ∧