Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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