Faster LRAT Checking Than Solving with CaDiCaL.

Florian Pollitt Mathias Fleury Armin Biere

Published in: SAT (2023)

Keyphrases

search engine
digital libraries
data sets
real world
artificial intelligence
decision trees
case study
learning environment
support vector
relational databases
probabilistic model
nonlinear equations