Linear Satisfiability Preserving Assignments (Extended Abstract).

Kei Kimura Kazuhisa Makino

Published in: IJCAI (2018)

Keyphrases

extended abstract
satisfiability problem
computational complexity
np complete
data sets
neural network
special case
phase transition
terminological reasoning
database
real time
piecewise linear
transfer function
decision procedures