Skip to content

LAA

Seminar

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 ∧