{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:52:11Z","timestamp":1755838331952,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1145\/2462476.2465582","type":"proceedings-article","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T12:27:34Z","timestamp":1372681654000},"page":"16-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["From theory to practice"],"prefix":"10.1145","author":[{"given":"Pierluigi","family":"Crescenzi","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi di Firenze, Florence, Italy"}]},{"given":"Emma","family":"Enstr\u00f6m","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]},{"given":"Viggo","family":"Kann","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2013,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384271.1384288"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140124.1140161"},{"key":"e_1_3_2_1_3_1","first-page":"26","article-title":"An investigation of factors related to self-efficacy for Java programming among engineering students","volume":"8","author":"Askar P.","year":"2009","unstructured":"Askar , P. and Davenport , D. ( 2009 ). An investigation of factors related to self-efficacy for Java programming among engineering students . Turkish Online J. Educational Tech. , 8 : 26 -- 32 . Askar, P. and Davenport, D. (2009). An investigation of factors related to self-efficacy for Java programming among engineering students. Turkish Online J. Educational Tech., 8:26--32.","journal-title":"Turkish Online J. Educational Tech."},{"key":"e_1_3_2_1_4_1","volume-title":"Social foundations of thought and action: A social cognitive theory","author":"Bandura A.","year":"1986","unstructured":"Bandura , A. ( 1986 ). Social foundations of thought and action: A social cognitive theory . Prentice-Hall series in social learning theory. Prentice-Hall , Englewood Cliffs, New Jersey. Bandura, A. (1986). Social foundations of thought and action: A social cognitive theory. Prentice-Hall series in social learning theory. Prentice-Hall, Englewood Cliffs, New Jersey."},{"key":"e_1_3_2_1_5_1","first-page":"307","volume-title":"Self-Efficacy Beliefs of Adolescents, ch. 14: Guide for constructing self-efficacy scales","author":"Bandura A.","year":"2006","unstructured":"Bandura , A. ( 2006 ). Self-Efficacy Beliefs of Adolescents, ch. 14: Guide for constructing self-efficacy scales , pages 307 -- 337 . Adolescence and Education. Information Age Publishing . Bandura, A. (2006). Self-Efficacy Beliefs of Adolescents, ch. 14: Guide for constructing self-efficacy scales, pages 307--337. Adolescence and Education. Information Age Publishing."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822090.1822175"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3847\/AER2006005"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822090.1822118"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2011.6142931"},{"key":"e_1_3_2_1_11_1","volume-title":"On Teaching the Basics of Complexity Theory. Essays in Memory of Shimon Even, 348--374","author":"Goldreich O.","year":"2006","unstructured":"Goldreich , O. ( 2006 ). On Teaching the Basics of Complexity Theory. Essays in Memory of Shimon Even, 348--374 . Goldreich, O. (2006). On Teaching the Basics of Complexity Theory. Essays in Memory of Shimon Even, 348--374."},{"key":"e_1_3_2_1_12_1","volume-title":"Personal communication","author":"Grundin G.","year":"2011","unstructured":"Grundin , G. ( 2011 ). Personal communication . Grundin, G. (2011). Personal communication."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. 13th Conf. on Research in Undergraduate Math. Education.","author":"Iannone P.","year":"2010","unstructured":"Iannone , P. and Inglis , M . ( 2010 ). Self efficacy and mathematical proof: are undergraduate students good at assessing their own proof production ability? Proc. 13th Conf. on Research in Undergraduate Math. Education. Iannone, P. and Inglis, M. (2010). Self efficacy and mathematical proof: are undergraduate students good at assessing their own proof production ability? Proc. 13th Conf. on Research in Undergraduate Math. Education."},{"key":"e_1_3_2_1_14_1","volume-title":"Algorithm Design","author":"Kleinberg J.","year":"2006","unstructured":"Kleinberg , J. and Tardos , E . ( 2006 ). Algorithm Design . Addison Wesley . Kleinberg, J. and Tardos, E. (2006). Algorithm Design.Addison Wesley."},{"key":"e_1_3_2_1_15_1","volume-title":"Learning and Teaching in Higher Education: The Reflective Professional","author":"Light G.","year":"2009","unstructured":"Light , G. , Calkins , S. , and Cox , R . ( 2009 ) Learning and Teaching in Higher Education: The Reflective Professional . SAGE Publications Ltd . Light, G., Calkins, S., and Cox, R. (2009) Learning and Teaching in Higher Education: The Reflective Professional.SAGE Publications Ltd."},{"key":"e_1_3_2_1_16_1","volume-title":"NP-completeness for All Computer Science Undergraduates: A Novel Project-based Curriculum. J. Comput. Small Coll.,textbf21(6)","author":"Lobo A.F.","year":"2006","unstructured":"Lobo , A.F. and Baliga , G.R . ( 2006 ). NP-completeness for All Computer Science Undergraduates: A Novel Project-based Curriculum. J. Comput. Small Coll.,textbf21(6) , 1937--4771. Lobo, A.F. and Baliga, G.R. (2006). NP-completeness for All Computer Science Undergraduates: A Novel Project-based Curriculum. J. Comput. Small Coll.,textbf21(6), 1937--4771."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1008902.1008904"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2011.6142846"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1037\/0022-0663.86.2.193"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646251.685682"},{"key":"e_1_3_2_1_21_1","first-page":"1070","volume-title":"Proc. ED-MEDIA\/ED-TELECOM","author":"Pape C.","year":"1998","unstructured":"Pape , C. ( 1998 ). Using Interactive Visualization for Teaching the Theory of NP-completeness . Proc. ED-MEDIA\/ED-TELECOM , pages 1070 -- 1075 . Pape, C. (1998). Using Interactive Visualization for Teaching the Theory of NP-completeness. Proc. ED-MEDIA\/ED-TELECOM, pages 1070--1075."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.2190\/C670-Y3C8-LTJ1-CT3P"},{"key":"e_1_3_2_1_23_1","volume-title":"Introduction to the Theory of Computation.Thomson","author":"Sipser M.","year":"2006","unstructured":"Sipser , M. ( 2006 ). Introduction to the Theory of Computation.Thomson . Sipser, M. (2006).Introduction to the Theory of Computation.Thomson."}],"event":{"name":"ITiCSE '13: Innovation and Technology in Computer Science Education conference 2013","sponsor":["Bilkent University Bilkent University","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Canterbury England, UK","acronym":"ITiCSE '13"},"container-title":["Proceedings of the 18th ACM conference on Innovation and technology in computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2462476.2465582","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2462476.2465582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:40Z","timestamp":1750235980000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2462476.2465582"}},"subtitle":["NP-completeness for every CS student"],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":22,"alternative-id":["10.1145\/2462476.2465582","10.1145\/2462476"],"URL":"https:\/\/doi.org\/10.1145\/2462476.2465582","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]},"assertion":[{"value":"2013-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}