{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T09:28:15Z","timestamp":1649064495814},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T00:00:00Z","timestamp":1380585600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/tase.2013.2259479","type":"journal-article","created":{"date-parts":[[2013,5,23]],"date-time":"2013-05-23T19:35:52Z","timestamp":1369337752000},"page":"1151-1157","source":"Crossref","is-referenced-by-count":4,"title":["Hybridization of Bound-and-Decompose and Mixed Integer Feasibility Checking to Measure Redundancy in Structured Linear Systems"],"prefix":"10.1109","volume":"10","author":[{"given":"Manish","family":"Bansal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiavash","family":"Kianfar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erick","family":"Moreno-Centeno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2089449"},{"key":"ref11","year":"0","journal-title":"IBM ILOG CPLEX 12 Documentation"},{"key":"ref12","author":"golub","year":"1996","journal-title":"Matrix Computations"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827502401953"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/9781118627372"},{"key":"ref15","author":"wolsey","year":"1998","journal-title":"Integer Programming"},{"key":"ref16","author":"golub","year":"1976","journal-title":"?Rank degeneracy and least squares problems ?"},{"key":"ref17","author":"hoffman","year":"2002","journal-title":"Linear Algebra"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(87)90103-0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0917055"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690411007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/acs.781"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341675"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.53512"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/81.296336"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1198\/TECH.2009.0004"},{"key":"ref2","author":"grewal","year":"2001","journal-title":"Kalman Filtering Theory and Practice"},{"key":"ref1","author":"rugh","year":"1996","journal-title":"Linear System Theory"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2007.06.015"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719604"},{"key":"ref22","author":"oxley","year":"1992","journal-title":"Matroid Theory"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/18.641542"},{"key":"ref23","author":"fourer","year":"2003","journal-title":"AMPL A Modelling Language for Mathematical Programming"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/6617709\/06519307.pdf?arnumber=6519307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:38:45Z","timestamp":1638218325000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6519307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":23,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tase.2013.2259479","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10]]}}}