Searching for authors named "Anubhav Gupta" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Abstraction Refinement for Bounded Model Checking
- …Abstraction Refinement for Bounded Model Checking Anubhav Gupta 1 Ofer Strichman 2 1 School…
- Cited by 6 (0 self) – Add To MetaCart
-
SAT based counterexample-guided abstraction-refinement
- …SAT based Counterexample-Guided Abstraction-Refinement ⋆ Edmund Clarke Anubhav Gupta Ofer…
- Cited by 3 (2 self) – Add To MetaCart
-
Sat based abstraction-refinement using ILP and machine learning techniques
- … Anubhav Gupta1 James Kukula2 Ofer Strichman1 1. Computer Science, Carnegie Mellon University, Pittsburgh…
- Cited by 38 (8 self) – Add To MetaCart
-
SAT-based Image Computation with Application in Reachability Analysis
- …, Pranav Ashar, and Anubhav Gupta NEC USA CCRL 4 Independence Way, Princeton, NJ 08540 fagupta, jyang…
- Cited by 24 (4 self) – Add To MetaCart
-
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
- … Aarti Gupta CCRL, NEC USA 4 Independence Way Princeton, NJ 08540 agupta@(email omitted); ABSTRACT Anubhav…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 5.
