Incremental SAT Library Integration Using Abstract Stobjs.

Published in: ACL2 (2018)

Keyphrases

high level
satisfiability problem
data fusion
sat solvers
knowledge base
search algorithm
databases
data integration
search strategies
incremental learning
graph coloring