Skip to content

LAA

Seminar

Compact propositional encodings of first-order theories

Amir, E (University of Illinois)
Friday 12 May 2006, 15:30-16:30

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Audio

MP3MP3

Back to top ∧