Mark Ginzburg

Follow

Person

Be'er Sheva, IL

People

Patents Grantslast 30 patents

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
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

Patents Applicationslast 30 patents

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
SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS
- Publication number 20100324881
- Publication date Dec 23, 2010
- Daniel Geist
- 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