{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:41:12Z","timestamp":1723016472877},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"<jats:p>The paper proposes Maximum Residue (MR) as a notion to evaluate the strength of a symmetry breaking method.  We give a proof to improve the best known DoubleLex MR upper bound from m!n! - (m!+n!) to min(m!,n!) for an m x n matrix model. Our result implies that DoubleLex works well on matrix models where min(m, n) is relatively small. We further study the MR bounds of SwapNext and SwapAny, which are extensions to DoubleLex breaking further a small number of composition symmetries. Such theoretical comparisons suggest general principles on selecting Lex-based symmetry breaking methods based on the dimensions of the matrix models. Our experiments confirm the theoretical predictions as well as efficiency of these methods.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/154","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:46:05Z","timestamp":1564299965000},"page":"1101-1107","source":"Crossref","is-referenced-by-count":0,"title":["DoubleLex Revisited and Beyond"],"prefix":"10.24963","author":[{"given":"Xuming","family":"Huang","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering"},{"name":"The Chinese University of Hong Kong"},{"name":"Shatin, N.T., Hong Kong"}]},{"given":"Jimmy","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering"},{"name":"The Chinese University of Hong Kong"},{"name":"Shatin, N.T., Hong Kong"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:47:10Z","timestamp":1564300030000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/154"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/154","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}