( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof logging for computer algebra based SMT solving.

, , , , и . ICCAD, стр. 677-684. IEEE, (2013)

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.

Markus Wedler

Gerd Wedler

Burkhard Wedler

Sabine Wedler

Harald Wedler

 

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

Proof logging for computer algebra based SMT solving., , , , и . ICCAD, стр. 677-684. IEEE, (2013)Towards the impact of state encoding on induction-based property checking., , и . MBMV, стр. 199-208. Shaker, (2003)An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths., , , , и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 473-486. Springer, (2008)Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation., , и . ISVLSI, стр. 151-158. IEEE Computer Society, (2002)Exploiting state encoding for invariant generation in induction-based property checking., , и . ASP-DAC, стр. 424-429. IEEE Computer Society, (2004)Arithmetic Reasoning in DPLL-Based SAT Solving., , и . DATE, стр. 30-35. IEEE Computer Society, (2004)A computational model for SAT-based verification of hardware-dependent low-level embedded system software., , , , , и . ASP-DAC, стр. 711-716. IEEE, (2013)A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level., , , , , и . FDL (Selected Papers), том 36 из Lecture Notes in Electrical Engineering, стр. 257-272. (2008)Structural FSM traversal., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 23 (5): 598-619 (2004)Modeling of Custom-Designed Arithmetic Components for ABL Normalization., , , , , и . MBMV, стр. 51-60. Shaker, (2008)