SAT-Based Summarization for Boolean Programs

GĂ©rard Basler, Daniel Kroening, and Georg Weissenbacher

Details

Publication typeInproceedings
Published inSPIN
Pages131-148
> Publications > SAT-Based Summarization for Boolean Programs