{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T05:47:58Z","timestamp":1792129678857,"version":"4.4.0"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tcad.2018.2857320","type":"journal-article","created":{"date-parts":[[2018,7,20]],"date-time":"2018-07-20T15:47:02Z","timestamp":1532101622000},"page":"2381-2392","source":"Crossref","is-referenced-by-count":2,"title":["Discrete Choice in the Presence of Numerical Uncertainties"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8639-4116","authenticated-orcid":false,"given":"Debasmita","family":"Lohar","sequence":"first","affiliation":[{"name":"Saarland Informatics Campus, Max Planck Institute for Software Systems, Saarbr&#x00FC;cken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eva","family":"Darulova","sequence":"additional","affiliation":[{"name":"Saarland Informatics Campus, Max Planck Institute for Software Systems, Saarbr&#x00FC;cken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[{"name":"LIX, CNRS, &#x00C9;cole Polytechnique, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3198-1863","authenticated-orcid":false,"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[{"name":"LIX, CNRS, &#x00C9;cole Polytechnique, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_33"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1644001.1644003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03542-0_4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3014426"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.189"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54108-7_2"},{"key":"ref9","first-page":"270","article-title":"Daisy\u2014Framework for analysis and optimization of numerical programs","volume-title":"Proc. TACAS","author":"Darulova"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042980"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-011-0182-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90060-D"},{"key":"ref13","volume-title":"Infer.NET 2.6","author":"Minka","year":"2014"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.9060"},{"key":"ref16","volume-title":"Mathematica, Version 10.4","year":"2018"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"ref18","volume-title":"Interval Analysis","author":"Moore","year":"1966"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1515\/9780691214696"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2172\/809606"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009933109326"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"ref24","volume-title":"GLPK (GNU Linear Programming Kit)","year":"2012"},{"key":"ref25","article-title":"Lurupa\u2014Rigorous error bounds in linear programming","volume-title":"Algebraic and Numerical Algorithms and Computer-Assisted Proofs","author":"Keil","year":"2006"},{"key":"ref26","first-page":"255","article-title":"Certifying and repairing solutions to large LPs. How good are LP-solvers?","volume-title":"Proc. SODA","author":"Dhiflaoui"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_13"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66158-2_45"},{"key":"ref30","volume-title":"Project Sklearn-Porter","year":"2018"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.36"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594294"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462179"},{"key":"ref34","first-page":"51","article-title":"Uncertain<T>: A first-order type for uncertain data","volume-title":"Proc. ASPLOS","author":"Bornholt"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-010-0128-x"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47443-4_13"},{"key":"ref37","first-page":"1","article-title":"Quantized neural networks: Training neural networks with low precision weights and activations","volume":"18","author":"Hubara","year":"2017","journal-title":"J. Mach. Learn. Res."},{"key":"ref38","article-title":"Incremental network quantization: Towards lossless CNNs with low-precision weights","volume-title":"Proc. ICLR","author":"Zhou"},{"key":"ref39","first-page":"2849","article-title":"Fixed point quantization of deep convolutional networks","volume-title":"Proc. ICML","author":"Lin"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8496924\/08416700.pdf?arnumber=8416700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T05:16:20Z","timestamp":1792127780000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8416700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":40,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2857320","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}