Testing Read-Once Formula Satisfaction.

Eldar Fischer Yonatan Goldhirsh Oded Lachish

Published in: ACM Trans. Comput. Theory (2016)

Keyphrases

monotone dnf
real time
test cases
boolean formula
database
data mining
web services
case study
computational complexity
orders of magnitude
test data
branch and bound
user satisfaction
service quality
customer satisfaction