Login / Signup
Hitarth Kanakia
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 4
Top Topics
Computational Properties
Defeasible Logic
Multi Valued
Proof Theory
Top Venues
FICTA (1)
DATE
ICCAD
IEEE Trans. Comput. Intell. AI Games
</>
Publications
</>
Mahdi Nazemi
,
Hitarth Kanakia
,
Massoud Pedram
Heuristics for Million-scale Two-level Logic Minimization.
ICCAD
(2021)
Hitarth Kanakia
,
Mahdi Nazemi
,
Arash Fayyazi
,
Massoud Pedram
ESPRESSO-GPU: Blazingly Fast Two-Level Logic Minimization.
DATE
(2021)
Mahipal Jadeja
,
Hitarth Kanakia
,
Rahul Muthu
Interactive Labelled Object Treemap: Visualization Tool for Multiple Hierarchies.
FICTA (1)
(2020)
Sourish Dasgupta
,
Savan Vaghela
,
Vishwa Modi
,
Hitarth Kanakia
s-Birds Avengers: A Dynamic Heuristic Engine-Based Agent for the Angry Birds Problem.
IEEE Trans. Comput. Intell. AI Games
8 (2) (2016)