Approximability of Clausal Constraints.

Peter Jonsson Gustav Nordh

Published in: Theory Comput. Syst. (2010)

Keyphrases

constrained optimization
data sets
inductive logic programming
theorem proving
global constraints
linear constraints
defeasible logic
neural network
information systems
relational databases
approximation algorithms
decision procedures