On Real-Valued Evaluation of Propositional Formulas.

Aleksandar Perovic Dragan Doder Zoran Ognjanovic

Published in: FoIKS (2012)

Keyphrases

real valued
complex valued
integer valued
propositional formulas
real valued data
ranking functions
database
databases
bayesian networks
information extraction
latent variables
propositional logic
propositional satisfiability