1,705 followers
@AndrzejWasowski https://t.co/1bt3JvsvFS with different guarantees wrt uniform and scalability... there are more recent proposals (@ksmeel @SoosMate can certainly complement). SMT/ILP: I don't know dedicated samplers, hard to cover full expressiveness. htt