Checking Pedigree Consistency with PCS.

Panagiotis Manolios Marc Galceran Oms Sergi Oliva Valls

Published in: TACAS (2007)

Keyphrases

consistency checking
image sequences
personal computer
maintaining consistency
database
databases
real world
artificial intelligence
case study
np hard
query answering
global constraints
type checking