On Solving Nominal Disunification Constraints.
Mauricio Ayala-RincónMaribel FernándezDaniele Nantes-SobrinhoDeivid ValePublished in: LSFA (2019)
Keyphrases
- linear programming problems
- horn clauses
- constrained problems
- reducing the search space
- dynamic constraint satisfaction problems
- neural network
- lagrange multipliers
- constraint problems
- finite domain
- distributed constraint optimization problems
- database
- logic programming
- constraint programming
- resource constraints
- integer program