Sign in

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs.

Nathan WetzlerMarijn HeuleWarren A. Hunt Jr.
Published in: SAT (2014)
Keyphrases
  • theorem proving
  • decision procedures
  • lightweight
  • real time
  • neural network
  • machine learning
  • social networks
  • multi agent
  • relational databases