Using Redundant Constraints for Refinement.

Eugene Asarin Thao Dang Oded Maler Romain Testylier

Published in: ATVA (2010)

Keyphrases

constraint programming
resource constraints
multiple constraints
machine learning
information systems
knowledge base
face recognition
multi agent
multi agent systems
constraint satisfaction
geometric constraints