88 citations · 94 across the 4 of their papers we have counts for
1 paper · 1 filter
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise +1
Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literal…