polynomial time solver

feature function (1) polynomial time (1) feature mapping (1) support vector machine (1) sat solver (1) classification margin (1) margin (1) perceptron learning (1) margin-based classification (1) hilbert space (1)