Inventor · disambiguated record
Ohad Shacham
Also filed as: SHACHAM OHAD
26 granted patents·4 pending applications·69 citations·filing 2005–2023
94Inventor score
Top patents by PatentIndex Score
30 records- 0191US10747750B2Systems, devices, and methods for content indexing and querying in a search systemOATH INC·Filed 2017·Granted Aug 18, 2020·11 cites·20 claims
- 0283US7725851B2Device, system and method for formal verificationIBM·Filed 2007·Granted May 25, 2010·15 cites·15 claims
- 0377US8352894B2Verification techniques for liveness checking of logic designsIBM·Filed 2012·Granted Jan 8, 2013·4 cites·20 claims
- 0475US7441216B1Applying CNF simplification techniques for SAT-based abstraction refinementIBM·Filed 2008·Granted Oct 21, 2008·7 cites·1 claims
- 0573US11321299B2Scalable conflict detection in transaction managementYAHOO HOLDINGS INC·Filed 2016·Granted May 3, 2022·2 cites·25 claims
- 0672US8453082B2Soft error verification in hardware designsKEIDAR-BARNER SHARON·Filed 2010·Granted May 28, 2013·4 cites·23 claims
- 0772US7401305B2Adaptive application of SAT solving techniquesIBM·Filed 2005·Granted Jul 15, 2008·6 cites·9 claims
- 0871US11645585B2Method for approximate k-nearest-neighbor search on parallel hardware acceleratorsVERIZON PATENT & LICENSING INC·Filed 2022·Granted May 9, 2023·0 cites·20 claims
- 0971US9979734B2Management of transactions in a distributed transaction systemYAHOO HOLDINGS INC·Filed 2015·Granted May 22, 2018·2 cites·16 claims
- 1070US7835898B2Satisfiability (SAT) based bounded model checkersIBM·Filed 2005·Granted Nov 16, 2010·5 cites·2 claims
- 1166US10565184B2Method and system for committing transactions in a semi-distributed mannerYAHOO HOLDINGS INC·Filed 2016·Granted Feb 18, 2020·1 cites·15 claims
- 1266US8374978B2Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statisticsIBM·Filed 2010·Granted Feb 12, 2013·4 cites·25 claims
- 1365US8108195B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2010·Granted Jan 31, 2012·2 cites·7 claims
- 1464US7519931B1Applying CNF simplification techniques for SAT-based abstraction refinementIBM·Filed 2008·Granted Apr 14, 2009·3 cites·1 claims
- 1563US12294750B2Selective streaming of video segments based on buffer data and download rate rangeYAHOO ASSETS LLC·Filed 2023·Granted May 6, 2025·0 cites·20 claims
- 1661US11341119B2Systems, devices, and methods for content indexing and querying in a search systemVERIZON PATENT & LICENSING INC·Filed 2020·Granted May 24, 2022·0 cites·17 claims
- 1759US11244245B2Method for approximate k-nearest-neighbor search on parallel hardware acceleratorsVERIZON PATENT & LICENSING INC·Filed 2019·Granted Feb 8, 2022·0 cites·20 claims
- 1859US8407175B2Method, apparatus and product for SAT solving using templates clausesFUHRMANN ODED·Filed 2010·Granted Mar 26, 2013·2 cites·17 claims
- 1958US7562055B2Resolve trace minimizationIBM·Filed 2006·Granted Jul 14, 2009·1 cites·13 claims
- 2054US10965688B2Management of transactions in a distributed transaction systemOATH INC·Filed 2018·Granted Mar 30, 2021·0 cites·22 claims
- 2153US2010218150A1Logic Design Verification Techniques for Liveness CheckingIBM·Filed 2009·Application pending·0 cites
- 2252US11622140B2Selective streaming of video segments based on buffer data and download rate rangeYAHOO ASSETS LLC·Filed 2018·Granted Apr 4, 2023·0 cites·17 claims
- 2352US10510017B2Method for approximate k-nearest-neighbor search on parallel hardware acceleratorsOATH INC·Filed 2015·Granted Dec 17, 2019·0 cites·22 claims
- 2448US8161433B2Utilizing an unSAT proof for model checkingFUHRMANN ODED·Filed 2009·Granted Apr 17, 2012·0 cites·25 claims
- 2547US11514030B2Automated materialized view table generation and maintenanceVERIZON MEDIA INC·Filed 2020·Granted Nov 29, 2022·0 cites·20 claims
- 2646US9646252B2Template clauses based SAT techniquesIBM·Filed 2013·Granted May 9, 2017·0 cites·16 claims
- 2746US2009307204A1Adaptive application of sat solving techniquesSHACHAM OHAD·Filed 2008·Application pending·0 cites
- 2843US8489380B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2011·Granted Jul 16, 2013·0 cites·20 claims
- 2943US2009024557A1Clause and Proof TighteningFUHRMANN ODED·Filed 2007·Application pending·0 cites
- 3039US2009248601A1Exploiting double resolutions for proof optimizationsIBM·Filed 2008·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →