The ACORN-SAT linked climate dataset.

Laurent Lefort Armin Haller Kerry Taylor Geoffrey Squire Peter Taylor Dale Percival Andrew Woolf

Published in: Semantic Web (2017)

Keyphrases

database
sat solvers
search algorithm
benchmark datasets
data sets
long term
satisfiability problem
neural network
real world
phase transition
propositional satisfiability