Microsoft Research
Microsoft Translator |
SAT-Based Summarization for Boolean Programs

Gérard Basler, Daniel Kroening, and Georg Weissenbacher
2007

In  SPIN

Details

TypeInproceedings
Pages131-148
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > SAT-Based Summarization for Boolean Programs