Inventor · disambiguated record
Yoad Lustig
Also filed as: LUSTIG YOAD
3 granted patents·7 citations·filing 2005–2011
61Inventor score
Technology areasG06F
Top patents by PatentIndex Score
3 records- 0170US7835898B2Satisfiability (SAT) based bounded model checkersIBM·Filed 2005·Granted Nov 16, 2010·5 cites·2 claims
- 0265US8108195B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2010·Granted Jan 31, 2012·2 cites·7 claims
- 0343US8489380B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2011·Granted Jul 16, 2013·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Yoad Lustig files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →