Symbolic verification of Boolean constraints over partially specified functions.

S. Sriram R. Tandon Pallab Dasgupta P. P. Chakrabarti

Published in: ISCAS (5) (2001)

Keyphrases

boolean constraints
global constraints
model checking
machine learning
boolean variables
np hard