PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Malik, Sharad"

Author of the publication

copydeleteadd this publication to your clipboard
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.

, , , , and . ICCAD, page 286-292. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Malik Lenger University of Stuttgart

Volkhard Malik University of Stuttgart

 

Other publications of authors with the same name

A Technology-Aware and Energy-Oriented Topology Exploration for On-Chip Networks., , and . DATE, page 1238-1243. IEEE Computer Society, (2005)Achieving Structural and Composable Modeling of Complex Systems., , , and . IPDPS Next Generation Software Program - NSFNGS - PI Workshop, IEEE Computer Society, (2004)Post-silicon fault localisation using maximum satisfiability and backbones., , and . FMCAD, page 63-66. FMCAD Inc., (2011)Evaluating the security of logic encryption algorithms., , and . HOST, page 137-143. IEEE Computer Society, (2015)Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing., and . DATE, page 1244-1249. IEEE Computer Society, (2004)Model checking unbounded concurrent lists., , and . STTT, 18 (4): 375-391 (2016)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver., , , , and . DAC, page 747-750. ACM, (2002)Technology Mapping for Lower Power., , and . DAC, page 74-79. ACM Press, (1993)Performance Analysis of Embedded Software Using Implicit Path Enumeration., and . DAC, page 456-461. ACM Press, (1995)Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability., , , and . DAC, page 194-199. ACM Press, (1998)