Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers

Stefan Ratschan

Published in: CoRR (2001)

Keyphrases

exact solution
databases
first order logic
data exchange
efficient computation
neural network
logic programs
combinatorial optimization
constrained optimization
piecewise linear