Inventor
active
Accelerating high-level bounded model checking
Computer implemented method of high-level synthesis for the...
Dynamic detection and removal of inactive clauses in SAT...
Efficient distributed SAT and SAT-based distributed bounded...
Efficient SAT-based unbounded symbolic model checking
No associations
LandOfFree
Aarti Gupta does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Aarti Gupta, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Aarti Gupta will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-591088