文献

J-GLOBAL ID：200902227537110720   整理番号：05A0746121

制約満足のための対称性の構成的導出

Compositional Derivation of Symmetries for Constraint Satisfaction

著者 (4件)： VAN HENTENRYCK Pascal (Brown Univ., RI, USA) ,  FLENER Pierre (Uppsala Univ., Uppsala, SWE) ,  PEARSON Justin (Uppsala Univ., Uppsala, SWE) ,  AGREN Magnus (Uppsala Univ., Uppsala, SWE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3607  ページ： 234-247  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 制約 ,  満足 ,  対称性 ,  導出