Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker 0001. Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. In André Inácio Reis, Rolf Drechsler, editors, Advanced Logic Synthesis. pages 151-168, Springer, 2018. [doi]

The following publications are possibly variants of this publication:

Solving dependency quantified Boolean formulas using quantifier localizationAile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer 0001. TCS, 925:1-24, 2022. [doi]

Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended AbstractChristoph Scholl, Ralf Wimmer. sat 2018: 3-16 [doi]

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective SolvingChristoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst. AAAI 2019: 1584-1591 [doi]

runs on WebDSL