Blocked Literals Are Universal.

Marijn Heule Martina Seidl Armin Biere

Published in: NFM (2015)

Keyphrases

information technology
artificial neural networks
inductive logic programming
answer sets
kolmogorov complexity
real time
databases
neural network
machine learning
image segmentation
video sequences
probabilistic model
orders of magnitude
turing machine