Publications

• Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta
  Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
  CAV 2000: 124-138

• Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta
  SAT-Based Image Computation with Application in Reachability Analysis
  FMCAD 2000: 354-371

• Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
  Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
  DAC 2001: 536-541

• Edmund Clarke, Anubhav Gupta, James Kukula, Ofer Strichman
  SAT based Abstraction-Refinement using ILP and Machine Learning Techniques
  CAV 2002

May 7, 2002