Paramodulation with Built-in AC-Theories and Symbolic Constraints.
Robert NieuwenhuisAlbert RubioPublished in: J. Symb. Comput. (1997)
Keyphrases
- constraint satisfaction
- arc consistency algorithm
- high level
- theorem proving
- real time
- neural network
- arc consistency
- constrained optimization
- integrity constraints
- constraint solving
- causal reasoning
- geometric constraints
- inference rules
- learning algorithm
- database
- theoretical framework
- knowledge representation
- evolutionary algorithm
- decision trees
- artificial intelligence