{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T18:16:52Z","timestamp":1776277012648,"version":"3.50.1"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"INAE Chair Professorship"},{"DOI":"10.13039\/501100013357","name":"Indian Statistical Institute","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100013357","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1109\/tcad.2019.2907911","type":"journal-article","created":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T21:50:11Z","timestamp":1553723411000},"page":"816-829","source":"Crossref","is-referenced-by-count":6,"title":["Storage-Aware Algorithms for Dilution and Mixture Preparation With Flow-Based Lab-on-Chip"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4341-5380","authenticated-orcid":false,"given":"Sukanta","family":"Bhattacharjee","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5961-7863","authenticated-orcid":false,"given":"Juinn-Dar","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Bhargab B.","family":"Bhattacharya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2702562"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858377"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref30","first-page":"194","article-title":"vZ—An optimizing SMT solver","author":"bj\u00f8rner","year":"2015","journal-title":"Proc TACAS"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2714562"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3157094"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2202396"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1038\/nrd3799","article-title":"Revisiting lab-on-a-chip technology for drug discovery","volume":"11","author":"neuzi","year":"2012","journal-title":"Nat Rev Drug Disc"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1039\/b820557b"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2438152"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.biophys.36.040306.132646"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.copbio.2013.08.014"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1039\/B510127A"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-006-9032-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062334"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2898999"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2864263"},{"key":"ref28","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc TACAS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2061790"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2016.7905444"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc21204h"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1114","DOI":"10.7873\/DATE.2015.0427","article-title":"Volume-Oriented Sample Preparation for Reactant Minimization on Flow-Based Microfluidic Biochips with Multi-Segment Mixers","author":"chi-mei huang","year":"2015","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISOC.2007.4402478"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429464"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2597225"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2440312"},{"key":"ref2","year":"2017","journal-title":"Introduction to lab-on-a-chip 2015 review history and future"},{"key":"ref9","first-page":"5754","article-title":"Microfluidics-based lab-on-chip systems in DNA-based biosensing: An overview","volume":"11","author":"dutse","year":"2011","journal-title":"Lab Chip"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342231"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287710"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1039\/b920124f"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1039\/c0lc00537a"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744899"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297280"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2748003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240830"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9042369\/08675329.pdf?arnumber=8675329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:02:52Z","timestamp":1651068172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8675329\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":36,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2019.2907911","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4]]}}}