The Delta Up constraint solver: minimizing the number of method selections in Delta Blue

Tetsuya SUZUKI, Takehiro TOKUDA

研究成果: Article査読

本文言語English
ページ(範囲)1351-1361
ジャーナルSoftware: Practice and Experience
31
出版ステータスPublished - 2001 9 25

引用スタイル