From DQBF to QBF by Dependency Elimination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001. From DQBF to QBF by Dependency Elimination. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]

This author has not been identified. Look up 'Ralf Wimmer' in GoogleThis author has not been identified. Look up 'Andreas Karrenbauer' in GoogleThis author has not been identified. Look up 'Ruben Becker' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Bernd Becker 0001' in Google

runs on WebDSL