40 citations · 89 across the 11 of their papers we have counts for
1 paper · 1 filter
Youssef Hamadi, Joao Marques-Silva, Christoph M. Wintersteiger
The increasing popularity of automated tools for software and hardware verification puts ever increasing demands on the underlying decision procedures. This paper presents a framew…