{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,29]],"date-time":"2026-10-29T05:50:55Z","timestamp":1793253055248,"version":"4.5.0"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606619","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:38:03Z","timestamp":1380638283000},"page":"732-741","source":"Crossref","is-referenced-by-count":52,"title":["Cassandra: Proactive conflict minimization through optimized task scheduling"],"prefix":"10.1109","author":[{"given":"Bakhtiar Khan","family":"Kasi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anita","family":"Sarma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070549"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/2000791.2000794"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-031-5_9"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(98)00364-6"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/143457.143468"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052912"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810339"},{"key":"34","year":"0"},{"key":"16","first-page":"191","article-title":"Improving conflict detection in optimistic concurrency control models","author":"oreilly","year":"2003","journal-title":"2001 ICSE Workshops on SCM"},{"key":"39","author":"dechter","year":"1999","journal-title":"Backtracking Algorithms for Constraint Satisfaction Problems"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2007.22"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240823"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878979"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/224019.224036"},{"key":"38","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Software Engineering Theory and Practice"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2007.4362620"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/383876.383878"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979409"},{"key":"43","year":"0"},{"key":"42","first-page":"294","article-title":"The barcelogic smt solver","author":"bofill","year":"2008","journal-title":"20th International Conf on Comp Aided Verif"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00221-7"},{"key":"40","first-page":"7","article-title":"Theory and practice of constraint propagation","author":"barta?k","year":"2001","journal-title":"3rd Workshop Constraint Prog Deci Cntrl"},{"key":"44","first-page":"156","article-title":"On sat modulo theories and optimization problems","volume":"4121","author":"nieuwenhuis","year":"2006","journal-title":"Theory and Applications of Satisfiability Testing"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368122"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/289444.289514"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.19"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/0167-739X(92)90002-S"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919083"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/358916.359003"},{"key":"28","year":"0"},{"key":"29","year":"0"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025139"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317478"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1454247.1454255"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/383876.383878"},{"key":"30","year":"0"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1000449"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1109128.1109133"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.64"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/280277.280280"},{"key":"31","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201222"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/958160.958177"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227180"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606619.pdf?arnumber=6606619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:09:55Z","timestamp":1490220595000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606619\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606619","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}