Definability for model counting
Article in Artificial Intelligence (April 2020)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Article in Artificial Intelligence (April 2020)
Book chapter (June 2018)
Book chapter (April 2018)