Malay Ganai

Robust Boolean reasoning for equivalence checking and functional property verification

Andreas Kuehlmann, Viresh Paruthi, F. Krohm et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 324 citations

Engineering, Verification, Computer-aided Verification +17

Circuit-based Boolean Reasoning

Andreas Kuehlmann, Malay Ganai, Viresh Paruthi · 2001 · 151 citations

Circuit Complexity, Engineering, Boolean Function +18

Monsoon Mission: A Targeted Activity to Improve Monsoon Prediction across Scales

Suryachandra A. Rao, B. N. Goswami, A. K. Sahai et al. · Bulletin of the American Meteorological Society · 2019 · 134 citations · Full text

Engineering, Monsoon Mission, Weather Forecasting +22

Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

Malay Ganai, Pranav Ashar, Aarti Gupta et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 107 citations

Engineering, Cnf-based Algorithms, Hardware Verification Language +20

Efficient SAT-based bounded model checking for software verification

Franjo Ivančić, Zijiang Yang, Malay Ganai et al. · Theoretical Computer Science · 2008 · 96 citations

Engineering, Program Analysis, Automated Reasoning +9