( en | de | ru )

 

Disambiguierung von "Ganai, Malay K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.

, , , , und . DAC, Seite 747-750. ACM, (2002)

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.

Ara Malayan

Vahid Hosseini Malayeri

Hamid Reza Hosseiny Malayeri

Aman K K Bhasin

K Böhm

 

Weitere Publikationen von Autoren mit dem selben Namen

DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems., , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 575-580. Springer, (2005)SIVA: A System for Coverage-Directed State Space Search., , , , und . J. Electron. Test., 17 (1): 11-27 (2001)Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables., und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 4-18. Springer, (2011)BEST: A symbolic testing tool for predicting multi-threaded program failures., , , , und . ASE, Seite 596-599. IEEE Computer Society, (2011)Abstraction and BDDs Complement SAT-Based BMC in DiVer., , , , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 206-209. Springer, (2003)Efficient state space exploration: Interleaving stateless and state-based model checking., , und . ICCAD, Seite 786-793. IEEE, (2010)Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems., , , , , und . FMCAD, Seite 81-89. IEEE, (2010)Efficient decision procedure for non-linear arithmetic constraints using CORDIC., und . FMCAD, Seite 61-68. IEEE, (2009)Efficient Modeling of Embedded Memories in Bounded Model Checking., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 440-452. Springer, (2004)Localization and Register Sharing for Predicate Abstraction., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 397-412. Springer, (2005)