Login / Signup
Convergent approximate solving of first-order constraints by approximate quantifiers.
Stefan Ratschan
Published in:
ACM Trans. Comput. Log. (2004)
Keyphrases
</>
first order logic
exact solution
resource constraints
relational databases
linear programming problems