Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.
Miguel García-DíazSusana NievaPublished in: FLOPS (2002)
Keyphrases
- real numbers
- interval arithmetic
- constraint solver
- function symbols
- quantifier free
- linear inequalities
- first order logic
- logic programs
- linear programming problems
- constraint problems
- domain specific
- constrained problems
- logic programming
- constraint satisfaction
- constraint programming
- linear constraints
- mixed integer program
- co occurrence
- artificial intelligence
- neural network