Inventor

LUSTIG YOAD

IL3 patents

⚠️ This page may combine multiple inventors who share the name “LUSTIG YOAD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

GEIST DANIEL

2 patents

US8108195B2Jan 31, 2012

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL2 citations57

US8489380B2Jul 16, 2013

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL0 citations44

IBM

1 patent

US7835898B2Nov 16, 2010

Satisfiability (SAT) based bounded model checkers

IBM5 citations70