Victor N. Kravets

2008
7	EE	Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton: Merging nodes under sequential observability. DAC 2008: 540-545
2004
6	EE	Victor N. Kravets, Prabhakar Kudva: Implicit enumeration of structural changes in circuit optimization. DAC 2004: 438-441
2003
5	EE	Victor N. Kravets, Prabhakar Kudva: Understanding metrics in logic synthesis for routability enhancement. SLIP 2003: 3-5
2002
4	EE	Victor N. Kravets, Karem A. Sakallah: Resynthesis of multi-level circuits under tight constraints using symbolic optimization. ICCAD 2002: 687-693
2000
3	EE	Victor N. Kravets, Karem A. Sakallah: Constructive Library-Aware Synthesis Using Symmetries. DATE 2000: 208-
2		Victor N. Kravets, Karem A. Sakallah: Generalized Symmetries in Boolean Functions. ICCAD 2000: 526-532
1998
1	EE	Victor N. Kravets, Karem A. Sakallah: M32: A Constructive multilevel Logic Synthesis System. DAC 1998: 336-341

Coauthor Index

1	Robert K. Brayton	[7]
2	Michael L. Case	[7]
3	Prabhakar Kudva	[5] [6]
4	Alan Mishchenko	[7]
5	Karem A. Sakallah	[1] [2] [3] [4]

Colors in the list of coauthors