Open AccessHybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
Author(s) -
Andrew Sadler,
Carmen Gervet
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - homogeneous space , constraint (computer aided design) , computer science , set (abstract data type) , local consistency , theoretical computer science , mathematical optimization , constraint satisfaction , artificial intelligence , mathematics , programming language , geometry , probabilistic logic