Institutional Repository
| finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints | |
| Ma Feifei; Zhang Jian | |
| 2008 | |
| Conference Name | 10th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008) |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 247-259 |
| Conference Date | DEC 15-19, |
| Conference Place | Hanoi, VIETNAM |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-89196-3 |
| Department | Ma, Feifei; Zhang, Jian Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| English Abstract | Orthogonal arrays are very important combinatorial objects which call be used in software testing and other areas. Mathematical methods for constructing such arrays have been studied extensively in the past decades. In contrast, computer searc |
| Keyword | Artificial Intelligence Bionics Computer Software Selection And Evaluation Set Theory Software Testing |
| Sponsorship | Vietnamese Acad Sci & Technol, Minist Sci & Technol Vietnam, Hanoi Univ Technol, Vietnam Natl UnivAir Force Off Sci Res, Asian Off Aerosp Res & Dev |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10668 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Ma Feifei,Zhang Jian. finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE,2008:247-259. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| finding orthogonal a（237KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment