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

Nathan Wetzler Marijn Heule Warren 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