Sign in

Efficient, Verified Checking of Propositional Proofs.

Marijn HeuleWarren A. Hunt Jr.Matt KaufmannNathan Wetzler
Published in: ITP (2017)
Keyphrases
  • cost effective
  • lightweight
  • real time
  • machine learning
  • computationally expensive
  • databases
  • genetic algorithm
  • artificial intelligence
  • case study
  • expert systems
  • artificial neural networks