{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T06:12:40Z","timestamp":1744697560340},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540242079"},{"type":"electronic","value":"9783540301141"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30114-1_11","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T18:47:16Z","timestamp":1284662836000},"page":"148-163","source":"Crossref","is-referenced-by-count":2,"title":["Relative Generic Computational Forensic Techniques"],"prefix":"10.1007","author":[{"given":"Jennifer L.","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Potkonjak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Intellectual Property Protection in VLSI Design: Theory and Practice","author":"G. Qu","year":"2003","unstructured":"Qu, G., Potkonjak, M.: Intellectual Property Protection in VLSI Design: Theory and Practice. Kluwer, Dordrecht (2003)"},{"key":"11_CR2","volume-title":"Classification and Regression Trees","author":"L. Breiman","year":"1993","unstructured":"Breiman, L., et al.: Classification and Regression Trees. Chapman and Hall, Boca Raton (1993)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., et al.: Optimization by simulated annealing. Science\u00a0220, 671\u2013680 (1983)","journal-title":"Science"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Wong, J., Kirovski, D., Potkonjak, M.: Non-parametrical statistical computational forensic techniques for intellectual property protection. In: 4th International Information Hiding Workshop, pp. 71\u201386 (2001)","DOI":"10.1007\/3-540-45496-9_6"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Sakallah, K.: Boolean satisfiability in electronic design automation. In: Cliques, Coloring, and Satisfiability (2000)","DOI":"10.1145\/337292.337611"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Hamzaoglu, I., Patel, J.: New techniques for deterministic test pattern generation. In: IEEE VLSI Test Symposium (1998)","DOI":"10.1109\/VTEST.1998.670910"},{"key":"11_CR7","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-63104-6_28","volume-title":"Automated Deduction - CADE-14","author":"H. Zhang","year":"1997","unstructured":"Zhang, H.: Sato: An efficient propositional prover. In: McCune, W. (ed.) CADE 1997. LNCS (LNAI), vol.\u00a01249, pp. 272\u2013275. Springer, Heidelberg (1997)"},{"key":"11_CR8","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisability problems. In: AAAI, pp. 440\u2013446 (1992)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"J. Marques-Silva","year":"1999","unstructured":"Marques-Silva, J., Sakallah, K.: Grasp: a search algorithm for propositional satisfiability. Transactions on Computers\u00a048, 506\u2013521 (1999)","journal-title":"Transactions on Computers"},{"key":"11_CR10","unstructured":"Selman, B., Kautz, H.: Domain-independent extensions to gsat: Solving large structured satisfiability problems. In: International Conference on Artificial Intelligence, pp. 290\u2013295 (1993)"},{"key":"11_CR11","unstructured":"SATLIB: The satisfiability library (2004), \n                    \n                      http:\/\/www.satlib.org"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/359094.359101","volume":"22","author":"D. Brelaz","year":"1979","unstructured":"Brelaz, D.: New methods to color the vertices of a graph. Comm. of the ACM\u00a022, 251\u2013256 (1979)","journal-title":"Comm. of the ACM"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BF02239976","volume":"39","author":"A. Hertz","year":"1987","unstructured":"Hertz, A., de Werra, D.: Using tabu search techniques for graph coloring. Journal of Computing\u00a039, 345\u2013351 (1987)","journal-title":"Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","Information Hiding"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30114-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:45:59Z","timestamp":1620013559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30114-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540242079","9783540301141"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30114-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}