SAT-Based Summarization for Boolean Programs

In  SPIN

Details

TypeInproceedings
Pages131-148
> Publications > SAT-Based Summarization for Boolean Programs