Three Counter-Examples on Semi-Graphoids.

Raymond Hemmecke Jason Morton Anne Shiu Bernd Sturmfels Oliver Wienand

Published in: Comb. Probab. Comput. (2008)

Keyphrases

counter examples
database
general purpose
bounded model checking
dynamic programming
sufficient conditions
fine grained
model checking
answer sets