{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:07Z","timestamp":1763467867591},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_22","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"310-325","source":"Crossref","is-referenced-by-count":21,"title":["Constraint Prioritization for Efficient Analysis of Declarative Models"],"prefix":"10.1007","author":[{"given":"Engin","family":"Uzuncaova","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: Proc. of the 16th Int\u2019l Conference on Computer Aided Verification(CAV) (July 2004)","DOI":"10.1007\/978-3-540-27813-9_49"},{"key":"22_CR2","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1990)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Een, N., Sorensson, N.: An extensible sat-solver. In: Proc. of the 6th Int\u2019l Conference on Theory and Applications of Satisfiability Testing (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Ganai, M.K., Zhang, L., Ashar, P., Gupta, A., Malik, S.: Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. In: Proc. of the 39th Conference on Design Automation (DAC), June 2002, pp. 747\u2013750 (2002)","DOI":"10.1145\/513918.514105"},{"key":"22_CR5","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge (2006)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy constraint analyzer. In: Proc. of the 22nd Int\u2019l Conference on Software Engineering (ICSE), Limerick, Ireland (June 2000)","DOI":"10.1145\/337180.337616"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/11499107_14","volume-title":"Theory and Applications of Satisfiability Testing","author":"D. Marinov","year":"2005","unstructured":"Marinov, D., Khurshid, S., Bugrara, S., Zhang, L., Rinard, M.: Optimizations for Compiling Declarative Models into Boolean Formulas. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol.\u00a03569, pp. 187\u2013202. Springer, Heidelberg (2005)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proc. of the 38th Conference on Design Automation (DAC) (2001)","DOI":"10.1145\/378239.379017"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The Omega test: A fast and practical integer programming algorithm for dependence analysis. Communications of the ACM\u00a031(8) (August 1992)","DOI":"10.1145\/135226.135233"},{"key":"22_CR10","unstructured":"Shlyakhter, I.: Declarative Symbolic Pure Logic Model Checking. PhD thesis, MIT (February 2005)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Proc. of the 13th Int\u2019l Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Khurshid, S.: Program slicing for declarative models. In: Proc. of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Portland, OR (November 2006) (poster paper)","DOI":"10.1145\/1218776.1218798"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Khurshid, S.: Kato: A program slicing tool for declarative specifications. In: Proc. of the 29th Int\u2019l Conference on Software Engineering (ICSE) (May 2007) (Research Demo)","DOI":"10.1109\/ICSE.2007.47"},{"key":"22_CR14","first-page":"439","volume-title":"Proc. of the 5th Int\u2019l Conference on Software Engineering (ICSE)","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: Proc. of the 5th Int\u2019l Conference on Software Engineering (ICSE), March 1981, pp. 439\u2013449. IEEE Computer Society Press, Los Alamitos (1981)"},{"key":"22_CR15","volume-title":"Constraint-Based Verification","author":"J. Yuan","year":"2006","unstructured":"Yuan, J., Pixley, C., Aziz, A.: Constraint-Based Verification. Springer, Heidelberg (2006)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, L., Malik, S.: The quest for efficient boolean satisfiability solvers. In: Proc. of the 8th Conference on Automated Deduction (CADE) (July 2002)","DOI":"10.1007\/3-540-45620-1_26"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:43:38Z","timestamp":1620017018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_22","relation":{},"subject":[]}}