Geometric Resolution: A Proof Procedure Based on Finite Model Search.

Hans de Nivelle Jia Meng

Published in: IJCAR (2006)

Keyphrases

probabilistic model
formal model
search space
probability distribution
state space
orders of magnitude
propositional logic