Clausal Form Transformation in MaxSAT.

Chu Min Li Felip Manyà Joan Ramon Soler

Published in: ISMVL (2019)

Keyphrases

upper bound
data sets
relational databases
theorem proving
linear transformation
learning algorithm
decision trees
high resolution
defeasible logic