( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling.

, , и . FMCAD, стр. 89-96. IEEE Computer Society, (2006)

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.

Jörg Pigorsch

Christian Pigorsch

Wolfgang Pigorsch

Carsten Pigorsch

Uta Pigorsch

 

Другие публикации лиц с тем же именем

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