The complexity of primal logic with disjunction.

Marco Magirius Martin Mundhenk Raphaela Palenta

Published in: Inf. Process. Lett. (2015)

Keyphrases

worst case
objective function
support vector
linear programming
linear program
decision problems
primal dual
data sets
computational complexity
multi valued
database
neural network
computational cost
logic programming
proof theory