Search for more channels:

Similar Items: A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers