Metalevel algorithms for variant satisfiability.

Stephen Skeirik José Meseguer

Published in: J. Log. Algebraic Methods Program. (2018)

Keyphrases

computational complexity
learning algorithm
data structure
benchmark datasets
knowledge base
times faster
recently developed
database
neural network
machine learning
computational cost
machine learning algorithms
satisfiability problem
stochastic local search