Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs., , , , und . MBMV, Seite 107-116. Fraunhofer Verlag, (2010)Early Conflict Detection Based SAT Solving., , und . MBMV, Seite 243-249. Shaker, (2004)Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis., , , , , und . International Journal of Parallel Programming, 38 (3-4): 185-202 (2010)PaMira - A Parallel SAT Solver with Knowledge Sharing., , und . MTV, Seite 29-36. IEEE Computer Society, (2005)Verification of partial designs using incremental QBF solving., , , und . DATE, Seite 623-628. IEEE, (2012)PaMiraXT: Parallel SAT Solving with Threads and Message Passing., , und . JSAT, 6 (4): 203-222 (2009)Speedup Techniques Utilized in Modern SAT Solvers., , und . SAT, Volume 3569 von Lecture Notes in Computer Science, Seite 437-443. Springer, (2005)An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors., , , , , , , und . IOLTS, Seite 182-185. IEEE Computer Society, (2011)PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing., , , , , und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 509-523. Springer, (2009)Comparison of knowledge sharing strategies in a parallel QBF solver., , , , , und . HPCS, Seite 161-167. IEEE, (2009)