7 papers:
CAV-2015-VizelGM #performance- Fast Interpolating BMC (YV, AG, SM), pp. 641–657.
DATE-2014-ReimerSSB #using- Using MaxBMC for Pareto-optimal circuit initialization (SR, MS, TS, BB), pp. 1–6.
SAC-2011-CollavizzaVRDG #constraints #generative- A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
DAC-2008-GanaiG #scalability #slicing #towards- Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.
- DATE-2008-GanaiG #smt #source code
- Completeness in SMT-based BMC for Software Programs (MKG, AG), pp. 831–836.
- DAC-2005-ZhangPHS #abstraction #satisfiability #using
- Dynamic abstraction using SAT-based BMC (LZ, MRP, MSH, TS), pp. 754–757.
- CAV-2003-GuptaGWYA #abstraction #satisfiability
- Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.
