Ohad Shacham

Person

Kfar Monash, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Method for approximate k-nearest-neighbor search on parallel hardwa...
- Patent number 11,645,585
- Issue date May 9, 2023
- Verizon Patent and Licensing Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selective streaming of video segments based on buffer data and down...
- Patent number 11,622,140
- Issue date Apr 4, 2023
- Yahoo Assets LLC
- Boris Kapchits
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated materialized view table generation and maintenance
- Patent number 11,514,030
- Issue date Nov 29, 2022
- YAHOO ASSETS LLC
- Boris Kapchits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems, devices, and methods for content indexing and querying in...
- Patent number 11,341,119
- Issue date May 24, 2022
- Verizon Patent and Licensing Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable conflict detection in transaction management
- Patent number 11,321,299
- Issue date May 3, 2022
- Verizon Patent and Licensing Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for approximate k-nearest-neighbor search on parallel hardwa...
- Patent number 11,244,245
- Issue date Feb 8, 2022
- Verizon Patent and Licensing Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Management of transactions in a distributed transaction system
- Patent number 10,965,688
- Issue date Mar 30, 2021
- Verizon Media Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems, devices, and methods for content indexing and querying in...
- Patent number 10,747,750
- Issue date Aug 18, 2020
- OATH INC.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for committing transactions in a semi-distributed...
- Patent number 10,565,184
- Issue date Feb 18, 2020
- OATH INC.
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for approximate k-nearest-neighbor search on parallel hardwa...
- Patent number 10,510,017
- Issue date Dec 17, 2019
- OATH INC.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Management of transactions in a distributed transaction system
- Patent number 9,979,734
- Issue date May 22, 2018
- OATH INC.
- Edward Bortnikov
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Template clauses based SAT techniques
- Patent number 9,646,252
- Issue date May 9, 2017
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 8,489,380
- Issue date Jul 16, 2013
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Soft error verification in hardware designs
- Patent number 8,453,082
- Issue date May 28, 2013
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, apparatus and product for SAT solving using templates clauses
- Patent number 8,407,175
- Issue date Mar 26, 2013
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Context-sensitive dynamic bloat detection system that uses a semant...
- Patent number 8,374,978
- Issue date Feb 12, 2013
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification techniques for liveness checking of logic designs
- Patent number 8,352,894
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Utilizing an unSAT proof for model checking
- Patent number 8,161,433
- Issue date Apr 17, 2012
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 8,108,195
- Issue date Jan 31, 2012
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 7,835,898
- Issue date Nov 16, 2010
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device, system and method for formal verification
- Patent number 7,725,851
- Issue date May 25, 2010
- International Business Machines Corporation
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resolve trace minimization
- Patent number 7,562,055
- Issue date Jul 14, 2009
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Applying CNF simplification techniques for SAT-based abstraction re...
- Patent number 7,519,931
- Issue date Apr 14, 2009
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Applying CNF simplification techniques for SAT-based abstraction re...
- Patent number 7,441,216
- Issue date Oct 21, 2008
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive application of SAT solving techniques
- Patent number 7,401,305
- Issue date Jul 15, 2008
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SELECTIVE STREAMING OF VIDEO SEGMENTS BASED ON BUFFER DATA AND DOWN...
- Publication number 20230300391
- Publication date Sep 21, 2023
- YAHOO ASSETS LLC
- Boris KAPCHITS
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
METHOD FOR APPROXIMATE K-NEAREST-NEIGHBOR SEARCH ON PARALLEL HARDWA...
- Publication number 20220147878
- Publication date May 12, 2022
- VERIZON PATENT AND LICENSING INC.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED MATERIALIZED VIEW TABLE GENERATION AND MAINTENANCE
- Publication number 20220147514
- Publication date May 12, 2022
- Verizon Media Inc.
- Boris Kapchits
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS, DEVICES, AND METHODS FOR CONTENT INDEXING AND QUERYING IN...
- Publication number 20200372011
- Publication date Nov 26, 2020
- Oath Inc.
- Edward BORTNIKOV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SELECTIVE STREAMING OF VIDEO SEGMENTS BASED ON BUFFER DATA AND DOWN...
- Publication number 20200204842
- Publication date Jun 25, 2020
- Oath Inc.
- Boris KAPCHITS
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
METHOD FOR APPROXIMATE K-NEAREST-NEIGHBOR SEARCH ON PARALLEL HARDWA...
- Publication number 20200118033
- Publication date Apr 16, 2020
- Oath Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS, DEVICES, AND METHODS FOR CONTENT INDEXING AND QUERYING IN...
- Publication number 20190121882
- Publication date Apr 25, 2019
- Yahoo Holdings, Inc.
- Edward BORTNIKOV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGEMENT OF TRANSACTIONS IN A DISTRIBUTED TRANSACTION SYSTEM
- Publication number 20180219870
- Publication date Aug 2, 2018
- Oath Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR COMMITTING TRANSACTIONS IN A SEMI-DISTRIBUTED...
- Publication number 20180121487
- Publication date May 3, 2018
- Yahoo Holdings, Inc.
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE CONFLICT DETECTION IN TRANSACTION MANAGEMENT
- Publication number 20170220617
- Publication date Aug 3, 2017
- Yahoo! Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR APPROXIMATE K-NEAREST-NEIGHBOR SEARCH ON PARALLEL HARDWA...
- Publication number 20170140012
- Publication date May 18, 2017
- Yahoo! Inc.
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGEMENT OF TRANSACTIONS IN A DISTRIBUTED TRANSACTION SYSTEM
- Publication number 20160308882
- Publication date Oct 20, 2016
- Edward Bortnikov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEMPLATE CLAUSES BASED SAT TECHNIQUES
- Publication number 20130159241
- Publication date Jun 20, 2013
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFT ERROR VERIFICATION IN HARDWARE DESIGNS
- Publication number 20120060064
- Publication date Mar 8, 2012
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Context-Sensitive Dynamic Bloat Detection System
- Publication number 20110295789
- Publication date Dec 1, 2011
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Satisfiability (SAT) Based Bounded Model Checkers
- Publication number 20110213605
- Publication date Sep 1, 2011
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEMPLATE CLAUSES BASED SAT TECHNIQUES
- Publication number 20110178970
- Publication date Jul 21, 2011
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UTILIZING AN UNSAT PROOF FOR MODEL CHECKING
- Publication number 20110010139
- Publication date Jan 13, 2011
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS
- Publication number 20100324881
- Publication date Dec 23, 2010
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Logic Design Verification Techniques for Liveness Checking
- Publication number 20100218150
- Publication date Aug 26, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE APPLICATION OF SAT SOLVING TECHNIQUES
- Publication number 20090307204
- Publication date Dec 10, 2009
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXPLOITING DOUBLE RESOLUTIONS FOR PROOF OPTIMIZATIONS
- Publication number 20090248601
- Publication date Oct 1, 2009
- International Business Machines Corporation
- Omer Bar-Ilan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Device, System and Method for Formal Verification
- Publication number 20090064064
- Publication date Mar 5, 2009
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Clause and Proof Tightening
- Publication number 20090024557
- Publication date Jan 22, 2009
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Resolve Trace Minimization
- Publication number 20080082471
- Publication date Apr 3, 2008
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Satisfiability (SAT) based bounded model checkers
- Publication number 20070118340
- Publication date May 24, 2007
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Adaptive application of SAT solving techniques
- Publication number 20070011629
- Publication date Jan 11, 2007
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING

Ohad Shacham

Person

Patents Grantslast 30 patents

Method for approximate k-nearest-neighbor search on parallel hardwa...

Selective streaming of video segments based on buffer data and down...

Automated materialized view table generation and maintenance

Systems, devices, and methods for content indexing and querying in...

Scalable conflict detection in transaction management

Method for approximate k-nearest-neighbor search on parallel hardwa...

Management of transactions in a distributed transaction system

Systems, devices, and methods for content indexing and querying in...

Method and system for committing transactions in a semi-distributed...

Method for approximate k-nearest-neighbor search on parallel hardwa...

Management of transactions in a distributed transaction system

Template clauses based SAT techniques

Satisfiability (SAT) based bounded model checkers

Soft error verification in hardware designs

Method, apparatus and product for SAT solving using templates clauses

Context-sensitive dynamic bloat detection system that uses a semant...

Verification techniques for liveness checking of logic designs

Utilizing an unSAT proof for model checking

Satisfiability (SAT) based bounded model checkers

Satisfiability (SAT) based bounded model checkers

Device, system and method for formal verification

Resolve trace minimization

Applying CNF simplification techniques for SAT-based abstraction re...

Applying CNF simplification techniques for SAT-based abstraction re...

Adaptive application of SAT solving techniques

Patents Applicationslast 30 patents

SELECTIVE STREAMING OF VIDEO SEGMENTS BASED ON BUFFER DATA AND DOWN...

METHOD FOR APPROXIMATE K-NEAREST-NEIGHBOR SEARCH ON PARALLEL HARDWA...

AUTOMATED MATERIALIZED VIEW TABLE GENERATION AND MAINTENANCE

SYSTEMS, DEVICES, AND METHODS FOR CONTENT INDEXING AND QUERYING IN...

SELECTIVE STREAMING OF VIDEO SEGMENTS BASED ON BUFFER DATA AND DOWN...

METHOD FOR APPROXIMATE K-NEAREST-NEIGHBOR SEARCH ON PARALLEL HARDWA...

SYSTEMS, DEVICES, AND METHODS FOR CONTENT INDEXING AND QUERYING IN...

MANAGEMENT OF TRANSACTIONS IN A DISTRIBUTED TRANSACTION SYSTEM

METHOD AND SYSTEM FOR COMMITTING TRANSACTIONS IN A SEMI-DISTRIBUTED...

SCALABLE CONFLICT DETECTION IN TRANSACTION MANAGEMENT

METHOD FOR APPROXIMATE K-NEAREST-NEIGHBOR SEARCH ON PARALLEL HARDWA...

MANAGEMENT OF TRANSACTIONS IN A DISTRIBUTED TRANSACTION SYSTEM

TEMPLATE CLAUSES BASED SAT TECHNIQUES

SOFT ERROR VERIFICATION IN HARDWARE DESIGNS

Context-Sensitive Dynamic Bloat Detection System

Satisfiability (SAT) Based Bounded Model Checkers

TEMPLATE CLAUSES BASED SAT TECHNIQUES

UTILIZING AN UNSAT PROOF FOR MODEL CHECKING

SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS

Logic Design Verification Techniques for Liveness Checking

ADAPTIVE APPLICATION OF SAT SOLVING TECHNIQUES

EXPLOITING DOUBLE RESOLUTIONS FOR PROOF OPTIMIZATIONS

Device, System and Method for Formal Verification

Clause and Proof Tightening

Resolve Trace Minimization

Satisfiability (SAT) based bounded model checkers

Adaptive application of SAT solving techniques