{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:26:15Z","timestamp":1762917975813,"version":"3.37.3"},"reference-count":87,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["DTG1796157","EP\/P015638\/1"],"award-info":[{"award-number":["DTG1796157","EP\/P015638\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Visual. Comput. Graphics"],"published-print":{"date-parts":[[2020,8,1]]},"DOI":"10.1109\/tvcg.2019.2895085","type":"journal-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T20:58:02Z","timestamp":1548363482000},"page":"2603-2619","source":"Crossref","is-referenced-by-count":6,"title":["How People Visually Represent Discrete Constraint Problems"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2801-3271","authenticated-orcid":false,"given":"Xu","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9864-9654","authenticated-orcid":false,"given":"Miguel A.","family":"Nacenta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9519-938X","authenticated-orcid":false,"given":"Ozgur","family":"Akgun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5052-8634","authenticated-orcid":false,"given":"Peter","family":"Nightingale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Information Visualization Perception for Design","year":"2012","author":"ware","key":"ref73"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X97001611"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/52.476280"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174212"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(80)90013-4"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1901_3"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.3758\/BF03200774"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1676-6"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195333213.001.0001"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/28189.1044814"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/2598510.2598566"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025942"},{"year":"2018","key":"ref33","article-title":"Max Software Tools for Media | Cycling ’74"},{"year":"2018","key":"ref32","article-title":"Simulink - Simulation and Model-Based Design - MATLAB & Simulink"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858435"},{"article-title":"Jeeves-an experience sampling study creation tool","year":"0","author":"rough","key":"ref30"},{"key":"ref37","first-page":"480","article-title":"The programming language aspects of thinglab, a constraint-oriented simulation laboratory","author":"borning","year":"1988","journal-title":"Readings in Artificial Intelligence and Databases"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/800265.810742"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1020.001.0001"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/2.366157"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2669485.2669511"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/34.598226"},{"journal-title":"The Mastery of Movement","year":"2011","author":"laban","key":"ref61"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1142\/9789814350938_0003"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/1045-926X(92)90034-J"},{"journal-title":"Where Mathematics Comes From How the Embodied Mind Brings Mathematics into Being","year":"2000","author":"lakoff","key":"ref64"},{"article-title":"Visual programming languages: A survey","year":"2004","author":"boshernitsan","key":"ref27"},{"key":"ref65","article-title":"Mathematical notation: Past and future","author":"wolfram","year":"2000","journal-title":"MathML and Math on the Web MathML International Conference"},{"journal-title":"Oliver Byrne the first six books of the Elements of Euclid in which coloured diagrams and symbols are used instead of letters for the greater ease of learners","year":"2010","author":"oechslin","key":"ref66"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592779"},{"article-title":"The Science and Art of the Diagrams: Culturing physics and mathematics, Part 1","year":"2013","author":"lee","key":"ref67"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1999.795875"},{"key":"ref69","first-page":"14","article-title":"Visual Programming","volume":"28","author":"mcintyre","year":"1995","journal-title":"Comput"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1801_3"},{"journal-title":"Mathematics and plausible reasoning I Induction and analogy in mathematics II Patterns of plausible inference","year":"1954","author":"polya","key":"ref1"},{"journal-title":"Mental Models","year":"1983","author":"gentner","key":"ref20"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"2004","author":"rumbaugh","key":"ref22"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"999","DOI":"10.1109\/TVCG.2010.177","article-title":"Mental models, visual reasoning and interaction in information visualization: A top-down perspective","volume":"16","author":"liu","year":"2010","journal-title":"IEEE Trans Vis Comput Graph"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240714"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/VISSOF.2011.6069462"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80036-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2011.251"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-015-9202-1"},{"journal-title":"Course in General Linguistics","year":"2011","author":"de saussure","key":"ref51"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1201\/b17511"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1037\/0033-2909.101.1.140"},{"article-title":"Kappa coefficients: A critical appraisal","year":"2018","author":"uebersax","key":"ref57"},{"key":"ref56","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","volume":"12","author":"pedregosa","year":"2011","journal-title":"J Mach Learn Res"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.11613\/BM.2012.031"},{"year":"2017","key":"ref54","article-title":"MAXQDA 2018"},{"journal-title":"Visual Language Global Communication for the 21st Century","year":"1998","author":"horn","key":"ref53"},{"journal-title":"Semiology of Graphics Diagrams Networks Maps","year":"2011","author":"bertin","key":"ref52"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.13440"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2017.2745919"},{"journal-title":"Introduction to Operations Research","year":"2010","author":"hillier","key":"ref40"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511607400"},{"key":"ref13","first-page":"529","article-title":"Minizinc: Towards a standard cp modelling language","author":"nethercote","year":"2007","journal-title":"Principles and Practice of Constraint Programming"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.07.001"},{"key":"ref15","first-page":"98","article-title":"Minion: A fast, scalable, constraint solver","author":"gent","year":"2006","journal-title":"Proc Conf ECAI 2006 17th Eur Conf Artif Intell"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1016\/0364-0213(94)90007-8"},{"journal-title":"Problem solving","year":"2001","author":"robertson","key":"ref16"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9280.00395"},{"key":"ref17","first-page":"148","article-title":"What do sketches say about thinking","author":"tversky","year":"2002","journal-title":"Proc AAAI Spring Symp Sketch Understanding Workshop Stanford Univ AAAI Tech Rep SS-02–08"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1007\/s10606-004-5062-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.12635"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1016\/j.compedu.2009.09.023"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevPhysEducRes.13.020131"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-011-0406-0"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1511\/2005.52.957","article-title":"Physics and Feynman's Diagrams: In the hands of a postwar generation, a tool intended to lead quantum electrodynamics out of a decades-long morass helped transform physics","volume":"93","author":"kaiser","year":"2005","journal-title":"Amer Scientist"},{"journal-title":"Conceptual Blockbusting A Guide to Better Ideas","year":"1980","author":"adams","key":"ref3"},{"journal-title":"Knapsack Problems Algorithms and Computer Interpretations","year":"1990","author":"martello","key":"ref6"},{"key":"ref5","first-page":"221","article-title":"Applications of negative dimensional tensors","volume":"1","author":"penrose","year":"1971","journal-title":"Application of Combinatorial Mathematics"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2008.137"},{"journal-title":"Handbook of Constraint Programming","year":"2006","author":"rossi","key":"ref8"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2015.2467551"},{"article-title":"CSPLib: A problem library for constraints","year":"1999","author":"jefferson","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2016.2598545"},{"key":"ref87","first-page":"744","article-title":"Constraint detection in natural language problem descriptions.","author":"kiziltan","year":"2016","journal-title":"Proc 25th Int Joint Conf Artif Intell"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/504704.504705"},{"key":"ref46","first-page":"4","article-title":"Extensible automated constraint modelling","author":"akg\u00fcn","year":"2011","journal-title":"Proc AAAI Conf Artif Intell"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9047-y"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15396-9_42"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/11889205_54"},{"article-title":"The SCIP optimization suite 6.0","year":"2018","author":"gleixner","key":"ref42"},{"key":"ref41","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF00143881"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60299-2_43"}],"container-title":["IEEE Transactions on Visualization and Computer Graphics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2945\/9130388\/08625484.pdf?arnumber=8625484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T15:36:46Z","timestamp":1651073806000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8625484\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,1]]},"references-count":87,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tvcg.2019.2895085","relation":{},"ISSN":["1077-2626","1941-0506","2160-9306"],"issn-type":[{"type":"print","value":"1077-2626"},{"type":"electronic","value":"1941-0506"},{"type":"electronic","value":"2160-9306"}],"subject":[],"published":{"date-parts":[[2020,8,1]]}}}