Boosting MUC extraction in unsatisfiable constraint networks.
Éric GrégoireJean-Marie LagniezBertrand MazurePublished in: Appl. Intell. (2014)
Keyphrases
- constraint networks
- temporal reasoning
- tree decomposition
- constraint satisfaction
- constraint satisfaction problems
- temporal constraint networks
- set intersection
- path consistency
- scene labeling
- qualitative spatial and temporal reasoning
- backtracking algorithm
- information extraction
- arc consistency
- phase transition
- tree width
- backtracking algorithms
- constraint programming
- computer vision
- coreference resolution
- complexity bounds
- sat solvers