Generation and Prediction of Difficult Model Counting Instances.

Guillaume Escamocher Barry O'Sullivan

Published in: CoRR (2022)

Keyphrases

model counting
weighted model counting
randomly generated
objective function
natural language
database design
learning theory