Solving First-Order Constraints over the Monadic Class.

Dimitri Chubarov Andrei Voronkov

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

linear programming problems
datalog queries
first order logic
constrained problems
higher order
integer program
constrained optimization
constraint problems
deductive databases