Inventor
SHACHAM OHAD
IL26 patents
⚠️ This page may combine multiple inventors who share the name “SHACHAM OHAD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
9 patentsUS7725851B2May 25, 2010
Device, system and method for formal verification
IBM15 citations82
US7441216B1Oct 21, 2008
Applying CNF simplification techniques for SAT-based abstraction refinement
IBM7 citations72
US7835898B2Nov 16, 2010
Satisfiability (SAT) based bounded model checkers
IBM5 citations70
US8374978B2Feb 12, 2013
Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics
IBM4 citations61
US8352894B2Jan 8, 2013
Verification techniques for liveness checking of logic designs
IBM4 citations61
US7519931B1Apr 14, 2009
Applying CNF simplification techniques for SAT-based abstraction refinement
IBM3 citations61
US7401305B2Jul 15, 2008
Adaptive application of SAT solving techniques
IBM6 citations60
US9646252B2May 9, 2017
Template clauses based SAT techniques
IBM0 citations51
US7562055B2Jul 14, 2009
Resolve trace minimization
IBM1 citations51
OATH INC
3 patentsUS10747750B2Aug 18, 2020
Systems, devices, and methods for content indexing and querying in a search system
OATH INC11 citations83
US10965688B2Mar 30, 2021
Management of transactions in a distributed transaction system
OATH INC0 citations60
US10510017B2Dec 17, 2019
Method for approximate k-nearest-neighbor search on parallel hardware accelerators
OATH INC0 citations50
YAHOO HOLDINGS INC
3 patentsUS11321299B2May 3, 2022
Scalable conflict detection in transaction management
YAHOO HOLDINGS INC2 citations72
US9979734B2May 22, 2018
Management of transactions in a distributed transaction system
YAHOO HOLDINGS INC2 citations71
US10565184B2Feb 18, 2020
Method and system for committing transactions in a semi-distributed manner
YAHOO HOLDINGS INC1 citations61
VERIZON PATENT & LICENSING INC
3 patentsUS11645585B2May 9, 2023
Method for approximate k-nearest-neighbor search on parallel hardware accelerators
VERIZON PATENT & LICENSING INC0 citations60
US11341119B2May 24, 2022
Systems, devices, and methods for content indexing and querying in a search system
VERIZON PATENT & LICENSING INC0 citations60
US11244245B2Feb 8, 2022
Method for approximate k-nearest-neighbor search on parallel hardware accelerators
VERIZON PATENT & LICENSING INC0 citations60