MCBAT: a practical tool for model counting constraints on bounded integer arrays.

Abtin Molavi Mara Downing Tommy Schneider Lucas Bang

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

model counting
global constraints
polynomial size
heuristic search
constraint satisfaction