28 citations · 44 across the 32 of their papers we have counts for
1 paper · 1 filter
Tuukka Korhonen, Matti Järvisalo
We describe SharpSAT-TD, our submission to the unweighted and weighted tracks of the Model Counting Competition in 2021-2023, which has won in total 6 first places in different t…