12 papers:
DATE-2013-CabodiLV #bound #model checking #optimisation- Optimization techniques for craig interpolant compaction in unbounded model checking (GC, CL, DV), pp. 1417–1422.
SAS-2012-AlbarghouthiGC- Craig Interpretation (AA, AG, MC), pp. 300–316.
DAC-2011-LinH #satisfiability #using- Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.
TACAS-2011-TeigeF #probability #problem #satisfiability- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
SAT-2010-MillerKLB #bound #design #encoding #model checking- Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.
CSL-2009-GheerbrantC #linear- Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.
CAV-2008-JainCG #composition #equation #linear #performance- Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
- TACAS-2007-JhalaMX #type inference
- State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
- TACAS-2006-EsparzaKS #abstraction #automaton #refinement
- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
- TACAS-2005-McMillan #model checking
- Applications of Craig Interpolants in Model Checking (KLM), pp. 1–12.
- CSL-2004-McMillan #model checking
- Applications of Craig Interpolation to Model Checking (KLM), pp. 22–23.
- SAS-2003-McMillan #analysis #reachability
- Craig Interpolation and Reachability Analysis (KLM), p. 336.
