Shlomo Hoory

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

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

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATICALLY SOLVING A TRUCK CONFIGURATION PROBLEM
- Publication number 20110224817
- Publication date Sep 15, 2011
- International Business Machines Corporation
- Bella Dubrov
- 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
METHOD AND SYSTEM FOR AUTOMATED EXPERTISE EXTRACTION
- Publication number 20090254503
- Publication date Oct 8, 2009
- International Business Machines Corporation
- Shlomo Hoory
- 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