( en | de | ru )

 

Disambiguierung von "Sakallah, Karem A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Searching for Autarkies to Trim Unsatisfiable Clause Sets.

, und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 182-195. Springer, (2008)

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.

Karem Gomaa

Elizabeth Karema

Mahmoud Mohamed Ali Karemi

R. A. A. Bowler

°Ake °Akerström

 

Weitere Publikationen von Autoren mit dem selben Namen

Incorporating user control in automated interactive scheduling systems., , , , und . Conference on Designing Interactive Systems, Seite 306-309. ACM, (2010)A first-order charge conserving MOS capacitance model., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 99-108 (1990)Satisfiability models and algorithms for circuit delay computation., , , und . ACM Trans. Design Autom. Electr. Syst., 7 (1): 137-158 (2002)The Aurora RAM Compiler., , , , und . DAC, Seite 261-266. ACM Press, (1995)Analysis and Design of Latch-Controlled Synchronous Digital Circuits., , und . DAC, Seite 111-117. IEEE Computer Society Press, (1990)Dynamic symmetry-breaking for improved Boolean optimization., , , und . ASP-DAC, Seite 445-450. ACM Press, (2005)Concurrent path sensitization in timing analysis., und . EURO-DAC, Seite 196-199. IEEE Computer Society, (1993)Critical paths in circuits with level-sensitive latches., , und . IEEE Trans. Very Large Scale Integr. Syst., 3 (2): 273-291 (1995)Transistor placement for noncomplementary digital VLSI cell synthesis., und . ACM Trans. Design Autom. Electr. Syst., 8 (1): 81-107 (2003)Empirical Study of the Anatomy of Modern Sat Solvers., , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 343-356. Springer, (2011)