{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:55:21Z","timestamp":1730303721929,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/vts.2018.8368645","type":"proceedings-article","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T22:16:52Z","timestamp":1527805012000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Efficient generation of parametric test conditions for AMS chips with an interval constraint solver"],"prefix":"10.1109","author":[{"given":"Felix","family":"Neubauer","sequence":"first","affiliation":[]},{"given":"Jan","family":"Burchard","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Raiola","sequence":"additional","affiliation":[]},{"given":"Jochen","family":"Rivoir","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Sauer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1998.670860"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.557094"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00137565"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/42288.214372"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/wilm.10434"},{"journal-title":"Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems","year":"2011","author":"herde","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S1574-6526(06)80020-9","article-title":"Continuous and Interval Constraints","author":"benhamou","year":"2006","journal-title":"Handbook of Constraint Programming Foundations of Artificial Intelligence"},{"key":"ref4","article-title":"The production of points uniformly distributed in a multidimensional cube","volume":"40","author":"sobol","year":"1976","journal-title":"Preprint IPM Akad Nauk SSSR"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(67)90144-9"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"fr\u00e4nzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref5","first-page":"32","article-title":"Points which uniformly fill a multidimensional cube","author":"sobol","year":"1985","journal-title":"Mathematics cybernetics series"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987614"},{"key":"ref7","article-title":"Recent improvements in the SMT solver iSAT","author":"scheibler","year":"2013","journal-title":"MBMV"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2007.895531"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/82.728852"},{"journal-title":"Applying CDCL to verification and test when laziness pays off","year":"2017","author":"scheibler","key":"ref9"}],"event":{"name":"2018 IEEE 36th VLSI Test Symposium (VTS)","start":{"date-parts":[[2018,4,22]]},"location":"San Francisco, CA","end":{"date-parts":[[2018,4,25]]}},"container-title":["2018 IEEE 36th VLSI Test Symposium (VTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8362837\/8368610\/08368645.pdf?arnumber=8368645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T06:34:37Z","timestamp":1643178877000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8368645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/vts.2018.8368645","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}