( en | de | ru )

 

Disambiguation of "Scholl, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Unknown Values in Test and Verification.

, , , and . SyDe Summer School, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Scholl

Christoph Scholl

Christoph Schöll

Christoph Scholl

Christoph Scholl

 

Other publications of authors with the same name

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , and . CoRR, (2021)A Smart Capacitive Sensor Skin with Embedded Data Quality Indication for Enhanced Safety in Human-Robot Interaction., , , , and . Sensors, 21 (21): 7210 (2021)From DQBF to QBF by Dependency Elimination., , , , and . MBMV, Universität Tübingen, (2018)Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries., , , and . ED&TC, page 229-234. IEEE Computer Society, (1997)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)Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments., and . ARCS, volume 9637 of Lecture Notes in Computer Science, page 143-156. Springer, (2016)Exploiting structure in an AIG based QBF solver., and . DATE, page 1596-1601. IEEE, (2009)2QBF: Challenges and Solutions., , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 453-469. Springer, (2016)Incremental Inprocessing in SAT Solving., , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 136-154. Springer, (2019)