Login / Signup

Effectively Propositional Interpolants.

Samuel DrewsAws Albarghouthi
Published in: CAV (2) (2016)
Keyphrases
  • propositional logic
  • neural network
  • probabilistic logic
  • data sets
  • data mining
  • first order logic
  • default logic