Assignee
GANAI MALAY K
US·6 granted patents·19 citations·filing 2008–2010
Top patents by PatentIndex Score
6 records- 0183US8131661B2Efficient decision procedure for bounded integer non-linear operations using SMT(LIA)GANAI MALAY K·Filed 2008·Granted Mar 6, 2012·13 cites·26 claims
- 0266US8448145B2Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactionsGANAI MALAY K·Filed 2009·Granted May 21, 2013·4 cites·17 claims
- 0362US8532971B2DPLL-based SAT solver using with application-aware branchingGANAI MALAY K·Filed 2010·Granted Sep 10, 2013·1 cites·18 claims
- 0460US8589126B2System and method for model checking by interleaving stateless and state-based methodsGANAI MALAY K·Filed 2010·Granted Nov 19, 2013·1 cites·22 claims
- 0545US8539013B2Efficient decision method for real non-linear arithmetic constraintsGANAI MALAY K·Filed 2010·Granted Sep 17, 2013·0 cites·18 claims
- 0636US8538900B2Integrating interval constraint propagation with nonlinear real arithmeticGANAI MALAY K·Filed 2010·Granted Sep 17, 2013·0 cites·19 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →