Assignee
FUHRMANN ODED
IL·5 granted patents·3 pending applications·136 citations·filing 2007–2012
Top patents by PatentIndex Score
8 records- 0196US8165350B2Assessment of a view through the overlay of mapsFUHRMANN ODED·Filed 2007·Granted Apr 24, 2012·133 cites·24 claims
- 0261US8397192B2Proof based bounded model checkingFUHRMANN ODED·Filed 2012·Granted Mar 12, 2013·1 cites·20 claims
- 0359US8407175B2Method, apparatus and product for SAT solving using templates clausesFUHRMANN ODED·Filed 2010·Granted Mar 26, 2013·2 cites·17 claims
- 0456US2009248852A1Evaluating Entities Associations with their Respective EnvironmentsFUHRMANN ODED·Filed 2008·Application pending·0 cites
- 0556US2009248709A1Evaluating Associations Among EntitiesFUHRMANN ODED·Filed 2008·Application pending·0 cites
- 0648US8161433B2Utilizing an unSAT proof for model checkingFUHRMANN ODED·Filed 2009·Granted Apr 17, 2012·0 cites·25 claims
- 0746US8201116B2Proof based bounded model checkingFUHRMANN ODED·Filed 2010·Granted Jun 12, 2012·0 cites·17 claims
- 0843US2009024557A1Clause and Proof TighteningFUHRMANN ODED·Filed 2007·Application pending·0 cites
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →