Oded Fuhrmann

Person

Zichron Yaakov, IL

People

Patents Grantslast 30 patents

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
Proof based bounded model checking
- Patent number 8,397,192
- Issue date Mar 12, 2013
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Proof based bounded model checking
- Patent number 8,201,116
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assessment of a view through the overlay of maps
- Patent number 8,165,350
- Issue date Apr 24, 2012
- International Business Machines Corporation
- Oded Fuhrmann
- 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
Method for improving queue experience in a three-dimensional virtua...
- Patent number 7,882,443
- Issue date Feb 1, 2011
- International Business Machines Corporation
- Oded Fuhrmann
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Seamless hybrid computer human call service
- Patent number 7,565,293
- Issue date Jul 21, 2009
- International Business Machines Corporation
- Oded Fuhrmann
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Device to cluster Boolean functions for clock gating
- Patent number 7,562,325
- Issue date Jul 14, 2009
- International Business Machines Corporation
- Eli Arbel
- 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
Methods to cluster boolean functions for clock gating
- Patent number 7,458,050
- Issue date Nov 25, 2008
- International Business Machines Corporation
- Eli Arbel
- 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

Patents Applicationslast 30 patents

Information Patent Application
PROOF BASED BOUNDED MODEL CHECKING
- Publication number 20120198400
- Publication date Aug 2, 2012
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROOF BASED BOUNDED MODEL CHECKING
- Publication number 20120046918
- Publication date Feb 23, 2012
- Oded Fuhrmann
- 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
Evaluating Associations Among Entities
- Publication number 20090248709
- Publication date Oct 1, 2009
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Evaluating Entities Associations with their Respective Environments
- Publication number 20090248852
- Publication date Oct 1, 2009
- Oded Fuhrmann
- 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
METHOD FOR IMPROVING QUEUE EXPERIENCE IN A THREE-DIMENSIONAL VIRTUA...
- Publication number 20090138807
- Publication date May 28, 2009
- International Business Machines Corporation
- Oded Fuhrmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Assessment of a View through the Overlay of Maps
- Publication number 20090136155
- Publication date May 28, 2009
- Oded Fuhrmann
- 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

Oded Fuhrmann

Person

Patents Grantslast 30 patents

Method, apparatus and product for SAT solving using templates clauses

Proof based bounded model checking

Proof based bounded model checking

Assessment of a view through the overlay of maps

Utilizing an unSAT proof for model checking

Method for improving queue experience in a three-dimensional virtua...

Seamless hybrid computer human call service

Device to cluster Boolean functions for clock gating

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

Methods to cluster boolean functions for clock gating

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

Patents Applicationslast 30 patents

PROOF BASED BOUNDED MODEL CHECKING

PROOF BASED BOUNDED MODEL CHECKING

TEMPLATE CLAUSES BASED SAT TECHNIQUES

UTILIZING AN UNSAT PROOF FOR MODEL CHECKING

Evaluating Associations Among Entities

Evaluating Entities Associations with their Respective Environments

EXPLOITING DOUBLE RESOLUTIONS FOR PROOF OPTIMIZATIONS

METHOD FOR IMPROVING QUEUE EXPERIENCE IN A THREE-DIMENSIONAL VIRTUA...

Assessment of a View through the Overlay of Maps

Clause and Proof Tightening