Inventor
FUHRMANN ODED
IL15 patents
⚠️ This page may combine multiple inventors who share the name “FUHRMANN ODED”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
7 patentsUS7562325B1Jul 14, 2009
Device to cluster Boolean functions for clock gating
IBM17 citations91
US7458050B1Nov 25, 2008
Methods to cluster boolean functions for clock gating
IBM20 citations91
US7565293B1Jul 21, 2009
Seamless hybrid computer human call service
IBM9 citations83
US7441216B1Oct 21, 2008
Applying CNF simplification techniques for SAT-based abstraction refinement
IBM7 citations72
US7882443B2Feb 1, 2011
Method for improving queue experience in a three-dimensional virtual environment
IBM6 citations62
US7519931B1Apr 14, 2009
Applying CNF simplification techniques for SAT-based abstraction refinement
IBM3 citations61
US9646252B2May 9, 2017
Template clauses based SAT techniques
IBM0 citations51
FUHRMANN ODED
5 patentsUS8165350B2Apr 24, 2012
Assessment of a view through the overlay of maps
FUHRMANN ODED133 citations96
US8407175B2Mar 26, 2013
Method, apparatus and product for SAT solving using templates clauses
FUHRMANN ODED2 citations61
US8397192B2Mar 12, 2013
Proof based bounded model checking
FUHRMANN ODED1 citations49
US8201116B2Jun 12, 2012
Proof based bounded model checking
FUHRMANN ODED0 citations49
US8161433B2Apr 17, 2012
Utilizing an unSAT proof for model checking
FUHRMANN ODED0 citations48