Model-Counting Approaches for Nonlinear Numerical Constraints.

Mateus Borges Quoc-Sang Phan Antonio Filieri Corina S. Pasareanu

Published in: NFM (2017)

Keyphrases

model counting
constraint satisfaction
knowledge representation
constraint programming