{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:21:21Z","timestamp":1740133281500,"version":"3.37.3"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,7,1]],"date-time":"2018-07-01T00:00:00Z","timestamp":1530403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Scientific Grant Agency of the Slovak Republic","award":["1\/0403\/15"],"award-info":[{"award-number":["1\/0403\/15"]}]},{"DOI":"10.13039\/501100005357","name":"Slovak Research and Development Agency","doi-asserted-by":"crossref","award":["APVV 15-0007"],"award-info":[{"award-number":["APVV 15-0007"]}],"id":[{"id":"10.13039\/501100005357","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Slovak University of Technology, Bratislava"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/tcst.2017.2716378","type":"journal-article","created":{"date-parts":[[2017,7,14]],"date-time":"2017-07-14T18:28:14Z","timestamp":1500056894000},"page":"1180-1191","source":"Crossref","is-referenced-by-count":1,"title":["A Parametric Programming Approach to Automated Integrated Circuit Design"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2817-1701","authenticated-orcid":false,"given":"Juraj","family":"Stevek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Kvasnica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Fikar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alojz","family":"Gomola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2010.07.004"},{"journal-title":"Algorithms for VLSI Physical Design Automation","year":"1999","author":"sherwani","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/274535.274549"},{"journal-title":"Non-Linear Parametric Optimization (Mathematische Lehrbücher und Monographien Mathematische Monographien)","year":"1982","author":"bank","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/9783527631216"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/9783527631230"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"10275","DOI":"10.3182\/20140824-6-ZA-1003.00250","article-title":"An application of multi-parametric programming in integrated circuit automation (slotting problem)","volume":"47","author":"\u0161tevek","year":"2014","journal-title":"IFAC Proc Volumes"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114865"},{"journal-title":"Cadence Design System","year":"2013","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(72)90045-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2012.04.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICICIP.2010.5564167"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_30"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2012.04.003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/43.752928"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907061"},{"key":"ref8","first-page":"539","article-title":"Provably good and practically efficient algorithms for CMP","author":"fill","year":"2009","journal-title":"Proc IEEE 46th ACM Design Autom Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.931037"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.917963"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2007.09.004"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SPI.2006.289243"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"ref21","volume":"4","author":"williams","year":"1999","journal-title":"Model Building in Mathematical Programming"},{"journal-title":"Real-Time Model Predictive Control Via Multi-Parametric Programming Theory and Tools","year":"2009","author":"kvasnica","key":"ref24"},{"key":"ref23","volume":"50","author":"borrelli","year":"2003","journal-title":"Constrained Optimal Control of Linear and Hybrid Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"journal-title":"Matrix-Algebra Ontology","year":"1993","author":"olsen","key":"ref25"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/8379025\/07981386.pdf?arnumber=7981386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:22:27Z","timestamp":1642004547000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7981386\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":28,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2017.2716378","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"type":"print","value":"1063-6536"},{"type":"electronic","value":"1558-0865"}],"subject":[],"published":{"date-parts":[[2018,7]]}}}