Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic.

Satoshi Matsuoka

Published in: FLOPS (2018)

Keyphrases

linear logic
np complete problems
np complete
graph coloring
np hard
phase transition
sequent calculus
logic programming
logical framework
fixed point
desirable properties
hard problems
sat problem
scheduling problem
machine learning
satisfiability problem
expert systems