Christoph Scholl

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Computer Algebra

Boolean Satisfiability

Top Venues

Publications

Christoph Scholl, Tobias Seufert, Fabian Siegwolf
Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. SAT (2024)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. DAC (2022)
Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. FMCAD (2022)
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. MBMV (2022)
Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl
Quantifier Elimination in Stochastic Boolean Satisfiability. SAT (2022)
Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer
Solving dependency quantified Boolean formulas using quantifier localization. Theor. Comput. Sci. 925 (2022)