12 citations · 12 across the 1 of their papers we have counts for
1 paper
Aaron R. Bradley
We introduce a new form of SAT-based symbolic model checking. One common idea in SAT-based symbolic model checking is to generate new clauses from states that can lead to property…