1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Ying Sheng, Yoni Zohar, Christophe Ringeissen +3
We make two contributions to the study of polite combination in satisfiability modulo theories. The first contribution is a separation between politeness and strong politeness, by…