Advanced SMT techniques for weighted model integration