Bubeck, Uwe

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Model-based transformations for dependency quantified boolean formulas by: Bubeck, Uwe (Language materials, printed)

Subjects