( en | de | ru )

 

Disambiguierung von "Becker, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Laissez-Faire Caching for Parallel #SAT Solving.

, , und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 46-61. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

 

Weitere Publikationen von Autoren mit dem selben Namen

Planung und Organisation der Planung in der öffentlichen Verwaltung. Verwaltungswissenschaftliche Fälle Kohlhammer, Stuttgart u.a., 1. Aufl Edition, (1978)Learning Heuristics by Evolutionary Algorithms with Variable Size Representation, , und . (20 July 1997)Position paper at the Workshop on Evolutionary Computation with Variable Size Representation at ICGA-97.Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions., , , , , , und . IEEE Trans. Autom. Control., 66 (3): 1040-1054 (2021)Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (11): 4270-4281 (November 2023)Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (4): 1351-1364 (April 2023)The K*BMD: A Verification Data Structure., , und . IEEE Des. Test Comput., 14 (2): 51-59 (1997)How many decomposition types do we need? decision diagrams., und . ED&TC, Seite 438-443. IEEE Computer Society, (1995)Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , und . CoRR, (2021)Delta-IDDQ Testing of Resistive Short Defects., , , , und . ATS, Seite 63-68. IEEE, (2006)SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges., , , , und . ATS, Seite 433-438. IEEE, (2007)