{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:40:29Z","timestamp":1737376829515,"version":"3.33.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s10601-024-09378-3","type":"journal-article","created":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T09:27:43Z","timestamp":1736414863000},"page":"300-314","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Invariant polydiagonal subspaces of matrices and constraint programming"],"prefix":"10.1007","volume":"29","author":[{"given":"John M.","family":"Neuberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N\u00e1ndor","family":"Sieben","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9433-9456","authenticated-orcid":false,"given":"James W.","family":"Swift","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,9]]},"reference":[{"key":"9378_CR1","doi-asserted-by":"crossref","unstructured":"Aguiar, M. A., & Dias, A. P. S. (2014) The lattice of synchrony subspaces of a coupled cell network: characterization and computation algorithm. Journal Nonlinear Science, 24(6), 949\u2013996.","DOI":"10.1007\/s00332-014-9209-6"},{"key":"9378_CR2","doi-asserted-by":"crossref","unstructured":"Aguiar, M. A. D., & Dias, Ana P.,\u00a0S. (2018). Synchronization and equitable partitions in weighted networks. Chaos, 28(7), 073105, 8.","DOI":"10.1063\/1.4997385"},{"key":"9378_CR3","doi-asserted-by":"crossref","unstructured":"Aguiar, M., & Dias, A. (2021). Synchrony and antisynchrony in weighted networks. SIAM Journal on Applied Dynamical Systems, 20(3), 1382\u20131420.","DOI":"10.1137\/20M1348248"},{"key":"9378_CR4","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., & Bj\u00f8rner N. (2008). Z3: an efficient smt solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u201908\/ETAPS\u201908, pp. 337\u2013340, Berlin, Heidelberg, Springer-Verlag.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"9378_CR5","unstructured":"Guns, T. (2019). Increasing modeling language convenience with a universal n-dimensional array, cppy as python-embedded example. In: Proceedings of the 18th workshop on Constraint Modelling and Reformulation at CP (Modref 2019), vol.\u00a019."},{"key":"9378_CR6","unstructured":"IBM ILOG. (2023). CPLEX Optimization Studio CP Optimizer. https:\/\/www.ibm.com\/products\/ilog-cplex-optimization-studio\/cplex-cp-optimizer."},{"issue":"1","key":"9378_CR7","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1137\/100819795","volume":"12","author":"H Kamei","year":"2013","unstructured":"Kamei, H., & Cock Peter, J. A. (2013). Computation of balanced equivalence relations and their lattice for a coupled cell network. SIAM Journal Applications Dynamical System, 12(1), 352\u2013382.","journal-title":"SIAM Journal Applications Dynamical System"},{"key":"9378_CR8","unstructured":"Neuberger, J., Sieben, N., & Swift, J. W. (2024). Invariant polydiagonal subspaces software. https:\/\/github.com\/nandorsieben\/IPS."},{"issue":"8","key":"9378_CR9","doi-asserted-by":"publisher","first-page":"2531","DOI":"10.1142\/S0218127409024293","volume":"19","author":"JM Neuberger","year":"2009","unstructured":"Neuberger, J. M., Sieben, N., & Swift, J. W. (2009). Automated bifurcation analysis for nonlinear elliptic partial difference equations on graphs. International Journal Bifur Chaos Applications Science Engineering, 19(8), 2531\u20132556.","journal-title":"International Journal Bifur Chaos Applications Science Engineering"},{"issue":"3","key":"9378_CR10","doi-asserted-by":"publisher","first-page":"1237","DOI":"10.1137\/120899054","volume":"12","author":"JM Neuberger","year":"2013","unstructured":"Neuberger, J. M., Sieben, N., & Swift, J. W. (2013). Newton\u2019s method and symmetry for semilinear elliptic PDE on the cube. SIAM Journal Application Dynamics System, 12(3), 1237\u20131279.","journal-title":"SIAM Journal Application Dynamics System"},{"issue":"2","key":"9378_CR11","doi-asserted-by":"publisher","first-page":"964","DOI":"10.1137\/19M1283495","volume":"19","author":"JM Neuberger","year":"2020","unstructured":"Neuberger, J. M., Sieben, N., & Swift, J. W. (2020). Invariant synchrony subspaces of sets of matrices. SIAM Journal Application Dynamics System, 19(2), 964\u2013993.","journal-title":"SIAM Journal Application Dynamics System"},{"key":"9378_CR12","unstructured":"Neuberger, J.\u00a0M., Sieben, N., Swift, J.\u00a0W. (2023). Github repository. https:\/\/github.com\/jwswift\/BLIS\/"},{"issue":"2","key":"9378_CR13","doi-asserted-by":"publisher","first-page":"1610","DOI":"10.1137\/23M1595540","volume":"23","author":"JM Neuberger","year":"2024","unstructured":"Neuberger, J. M., Sieben, N., & Swift, J. W. (2024). A bifurcation lemma for invariant subspaces. SIAM Journal Application Dynamics System, 23(2), 1610\u20131635.","journal-title":"SIAM Journal Application Dynamics System"},{"key":"9378_CR14","unstructured":"Nijholt, E., Sieben, N., & Swift, J\u00a0W. (2022). Github repository. https:\/\/github.com\/jwswift\/Anti-Synchrony-Subspaces\/."},{"key":"9378_CR15","doi-asserted-by":"crossref","unstructured":"Nijholt, E., Sieben, N., & Swift, J.\u00a0W. (2023) Invariant synchrony and anti-synchrony subspaces of weighted networks. Journal Nonlinear Science, 33(4), 38. Id\/No 63.","DOI":"10.1007\/s00332-023-09924-y"},{"key":"9378_CR16","unstructured":"Perron, L., & Didier, F. (2024). CP-SAT. https:\/\/developers.google.com\/optimization\/cp\/cp_solver."},{"key":"9378_CR17","unstructured":"Rossi, F., van Beek, P., & Walsh, T. (2006). (eds). Handbook of Constraint Programming, vol.\u00a02 of Foundations of Artificial Intelligence. Elsevier."},{"key":"9378_CR18","unstructured":"Sloane, N. J.\u00a0A., & The OEIS\u00a0Foundation Inc. (2021). The on-line encyclopedia of integer sequences, http:\/\/oeis.org."},{"key":"9378_CR19","volume-title":"Group theory and quantum mechanics","author":"M Tinkham","year":"1964","unstructured":"Tinkham, M. (1964). Group theory and quantum mechanics. New York: McGraw-Hill Book Co."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-024-09378-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10601-024-09378-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-024-09378-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:20:36Z","timestamp":1737375636000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10601-024-09378-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":19,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["9378"],"URL":"https:\/\/doi.org\/10.1007\/s10601-024-09378-3","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2024,12]]},"assertion":[{"value":"11 December 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Statements and Declarations"}},{"value":"The authors have no conflicts of interest or competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of Interest"}}]}}