Sign in

Model-Counting Approaches for Nonlinear Numerical Constraints.

Mateus BorgesQuoc-Sang PhanAntonio FilieriCorina S. Pasareanu
Published in: NFM (2017)
Keyphrases
  • model counting
  • constraint satisfaction
  • knowledge representation
  • constraint programming