PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Becker, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Search Space Reduction for Low-Power Test Generation.

, , , , and . Asian Test Symposium, page 171-176. IEEE Computer Society, (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. You can also use the button next to the name to display some publications already assigned to the person.

Franziska Becker University of Stuttgart

Bernd Bertsche

Dr. -Ing. Dina Becker University of Stuttgart

Univ. -Prof. Dr. -Ing. Steffen Becker University of Stuttgart

Dr. rer. nat. Bernd Schulz University of Stuttgart

 

Other publications of authors with the same name

BDDs in a Branch and Cut Framework., , , and . WEA, volume 3503 of Lecture Notes in Computer Science, page 452-463. Springer, (2005)Exact switchbox routing with search space reduction., , and . ISPD, page 26-32. ACM, (2000)A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition., , , , and . CADE, volume 7898 of Lecture Notes in Computer Science, page 193-207. Springer, (2013)Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey., , , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 65-121. Springer, (2014)Conflict-Based Selection of Branching Rules., and . SAT, volume 2919 of Lecture Notes in Computer Science, page 441-451. Springer, (2003)Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT., , and . SAT, volume 10929 of Lecture Notes in Computer Science, page 37-53. Springer, (2018)Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs., , , and . SAT, volume 6175 of Lecture Notes in Computer Science, page 194-208. Springer, (2010)From DQBF to QBF by Dependency Elimination., , , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 326-343. Springer, (2017)Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring., , and . e-Energy, page 17-23. ACM, (2019)On the crossing-free, rectangular embedding of weighted graphs in the plane.. Theoretical Computer Science, volume 145 of Lecture Notes in Computer Science, page 61-72. Springer, (1983)