( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling Unknown Values in Test and Verification.

, , , и . SyDe Summer School, стр. 122-150. Springer, (2015)

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.

Christoph Scholl

Christoph Scholl

Christoph Scholl

Christoph Scholl

Christoph Schöll

 

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

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (4): 1351-1364 (апреля 2023)Solving dependency quantified Boolean formulas using quantifier localization., , , и . Theor. Comput. Sci., (2022)Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , и . CoRR, (2021)A Smart Capacitive Sensor Skin with Embedded Data Quality Indication for Enhanced Safety in Human-Robot Interaction., , , , и . Sensors, 21 (21): 7210 (2021)Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries., , , и . ED&TC, стр. 229-234. IEEE Computer Society, (1997)From DQBF to QBF by Dependency Elimination., , , , и . MBMV, Universität Tübingen, (2018)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)Preprocessing for DQBF., , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 173-190. Springer, (2015)