A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving.
Ricardo CaferraNicolas ZabelPublished in: J. Symb. Comput. (1992)
Keyphrases
- significant improvement
- detection method
- statistical model
- pairwise
- dynamic programming
- probabilistic model
- constraint solving
- statistical methods
- parameter estimation
- model selection
- search algorithm
- prior knowledge
- similarity measure
- relational databases
- computational complexity
- constraint satisfaction
- exhaustive search
- image sequences