We start the study of the enumeration complexity of different satisfiabi...
Stockhusen and Tantau (IPEC 2013) introduced the operators paraW and par...
We study descriptive complexity of counting complexity classes in the ra...
In this paper we give a characterization of both Boolean and arithmetic
...
share