Autor der Publikation

Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.

, , und . CP, Volume 1713 von Lecture Notes in Computer Science, Seite 434-445. Springer, (1999)

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

Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation Heuristic., , und . IPPS/SPDP Workshops, Volume 1586 von Lecture Notes in Computer Science, Seite 709-711. Springer, (1999)Egocentric Video Search via Physical Interactions., , , , , und . AAAI, Seite 330-337. AAAI Press, (2016)Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results., , und . CP, Volume 1118 von Lecture Notes in Computer Science, Seite 497-509. Springer, (1996)Parallel computation of neural networks in a processor pipeline with partially shared memory., und . ICNN, Seite 1638-1643. IEEE, (1993)Identifying human contact points on environmental surfaces using heat traces to support disinfect activities: poster abstract., , , , , und . SenSys, Seite 768-769. ACM, (2020)Regional Garbage Amount Estimation and Analysis Using Car-Mounted Motion Sensors., , , , , und . UbiComp/ISWC Adjunct, Seite 110-113. ACM, (2018)Logic synthesis for look-up table based FPGAs using functional decomposition and support minimization., , und . ICCAD, Seite 353-358. IEEE Computer Society / ACM, (1995)Solving Satisfiability Problems Using Logic Synthesis and Reconfigurable Hardware., , und . HICSS (7), Seite 179-186. IEEE Computer Society, (1998)Selecting home appliances with smart glass based on contextual information., , , und . UbiComp, Seite 97-108. ACM, (2016)SVD-based hierarchical data gathering for environmental monitoring., , , , und . UbiComp (Adjunct Publication), Seite 9-12. ACM, (2013)