( en | de | ru )

 

Disambiguation of "Pigorsch, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting structure in an AIG based QBF solver.

, and . DATE, page 1596-1601. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jörg Pigorsch

Christian Pigorsch

Wolfgang Pigorsch

Carsten Pigorsch

Uta Pigorsch

 

Other publications of authors with the same name

Using Implications for Optimizing State Set Representations of Linear Hybrid Systems., and . MBMV, page 77-86. Universitätsbibliothek Berlin, Germany, (2009)Lemma localization: a practical method for downsizing SMT-interpolants., and . DATE, page 1405-1410. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling., , and . FMCAD, page 89-96. IEEE Computer Society, (2006)The QBF Solver AIGSolve., and . QBF@SAT, volume 1719 of CEUR Workshop Proceedings, page 55-62. CEUR-WS.org, (2016)An AIG-Based QBF-solver using SAT for preprocessing., and . DAC, page 170-175. ACM, (2010)Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling., , and . MBMV, page 135-144. Fraunhofer Institut für Integrierte Schaltungen, (2006)Exploiting structure in an AIG based QBF solver., and . DATE, page 1596-1601. IEEE, (2009)