Using cross-entropy for satisfiability.

Hana Chockler Alexander Ivrii Arie Matsliah Simone Fulvio Rollini Natasha Sharygina

Published in: SAC (2013)

Keyphrases

cross entropy
log likelihood
maximum likelihood
minimum cross entropy
evaluation metrics
language modeling
error function
web pages
image retrieval
language model
text classification
generative model
query expansion
linear combination