Linear Satisfiability Preserving Assignments.

Kei Kimura Kazuhisa Makino

Published in: J. Artif. Intell. Res. (2018)

Keyphrases

computational complexity
data sets
machine learning
np complete
propositional logic
database
real time
image sequences
closed form
satisfiability problem