{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:55Z","timestamp":1750307995340,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,3,10]],"date-time":"2006-03-10T00:00:00Z","timestamp":1141948800000},"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":[[2006,3,10]]},"DOI":"10.1145\/1185448.1185537","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"399-404","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Specifying and solving Boolean constraint problems in relational databases"],"prefix":"10.1145","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[{"name":"Emory University, Atlanta, GA"}]},{"given":"M. Jeremy","family":"Scoggins","sequence":"additional","affiliation":[{"name":"Emory University, Atlanta, GA"}]}],"member":"320","published-online":{"date-parts":[[2006,3,10]]},"reference":[{"volume-title":"Proceedings of VLDB","year":"2002","author":"Aditya B.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","first-page":"502","volume-title":"SAT","author":"E\u00e9n N.","year":"2003"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/502030.502031"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514105"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007570"},{"volume-title":"Morgan Kaufmann Publishers Inc.","year":"2000","author":"Han J.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_8_1","first-page":"359","volume-title":"Proceedings of the Tenth European Conference on Artificial Intelligence (ECAl'92)","author":"Kautz H. A.","year":"1992"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00039-9"},{"key":"e_1_3_2_1_10_1","first-page":"55","volume-title":"Logic and Data Bases","author":"Reiter R.","year":"1977"},{"volume-title":"Proceedings of AAAI","year":"1992","author":"Selman B.","key":"e_1_3_2_1_11_1"},{"volume-title":"Benjamin\/Cummings","year":"1993","author":"Tansel A. U.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"volume-title":"Proceedings of International Symposium on Satisfiability","year":"2002","author":"Zhang H.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006351428454"}],"event":{"name":"ACM SE06: ACM Southeast Regional Conference","acronym":"ACM SE06","location":"Melbourne Florida"},"container-title":["Proceedings of the 44th annual Southeast regional conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1185448.1185537","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1185448.1185537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:20Z","timestamp":1750259180000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1185448.1185537"}},"subtitle":["a case study"],"short-title":[],"issued":{"date-parts":[[2006,3,10]]},"references-count":15,"alternative-id":["10.1145\/1185448.1185537","10.1145\/1185448"],"URL":"https:\/\/doi.org\/10.1145\/1185448.1185537","relation":{},"subject":[],"published":{"date-parts":[[2006,3,10]]},"assertion":[{"value":"2006-03-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}