{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:30Z","timestamp":1750307910972,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"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":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244078","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"321-325","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A solver for quantified Boolean and linear constraints"],"prefix":"10.1145","author":[{"given":"Lucas","family":"Bordeaux","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lintao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Microsoft Research, Silicon Valley, Mountain View, California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"275","volume-title":"AAAI","author":"Ans\u00f3tegui C.","year":"2005","unstructured":"C. Ans\u00f3tegui , C. P. Gomes , and B. Selman . The Achilles' heel of QBF . In AAAI , pages 275 -- 281 , 2005 . C. Ans\u00f3tegui, C. P. Gomes, and B. Selman. The Achilles' heel of QBF. In AAAI, pages 275--281, 2005."},{"key":"e_1_3_2_1_2_1","first-page":"360","volume-title":"AAAI","author":"Bordeaux L.","year":"2005","unstructured":"L. Bordeaux , M. Cadoli , and T. Mancini . CSP properties for quantified constraints: Definitions and complexity . In AAAI , pages 360 -- 365 , 2005 . L. Bordeaux, M. Cadoli, and T. Mancini. CSP properties for quantified constraints: Definitions and complexity. In AAAI, pages 360--365, 2005."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647489.727129"},{"key":"e_1_3_2_1_4_1","first-page":"151","volume-title":"ECAI","author":"Brown K. N.","year":"2004","unstructured":"K. N. Brown , J. Little , P. J. Creed , and E. C. Freuder . Adversarial constraint satisfaction by game-tree search . In ECAI , pages 151 -- 155 , 2004 . K. N. Brown, J. Little, P. J. Creed, and E. C. Freuder. Adversarial constraint satisfaction by game-tree search. In ECAI, pages 151--155, 2004."},{"key":"e_1_3_2_1_5_1","first-page":"161","volume-title":"ECAI","author":"Chen H.","year":"2004","unstructured":"H. Chen . Quantified constraint satisfaction and bounded treewidth . In ECAI , pages 161 -- 165 , 2004 . H. Chen. Quantified constraint satisfaction and bounded treewidth. In ECAI, pages 161--165, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28629-5_16"},{"key":"e_1_3_2_1_7_1","first-page":"138","volume-title":"IJCAI","author":"Gent I. P.","year":"2005","unstructured":"I. P. Gent , P. Nightingale , and K. Stergiou . QCSP-Solve: A solver for quantified constraint satisfaction problems . In IJCAI , pages 138 -- 143 , 2005 . I. P. Gent, P. Nightingale, and K. Stergiou. QCSP-Solve: A solver for quantified constraint satisfaction problems. In IJCAI, pages 138--143, 2005."},{"key":"e_1_3_2_1_8_1","first-page":"257","volume-title":"IJCAI","author":"Manandhar S.","year":"2003","unstructured":"S. Manandhar , A. Tarim , and T. Walsh . Scenario-based stochastic constraint programming . In IJCAI , pages 257 -- 262 , 2003 . S. Manandhar, A. Tarim, and T. Walsh. Scenario-based stochastic constraint programming. In IJCAI, pages 257--262, 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_66"},{"key":"e_1_3_2_1_10_1","first-page":"311","volume-title":"AMCS","author":"Otwell C.","year":"2004","unstructured":"C. Otwell , A. Remshagen , and K. Truemper . An effective QBF solver for planning problems . In AMCS , pages 311 -- 316 , 2004 . C. Otwell, A. Remshagen, and K. Truemper. An effective QBF solver for planning problems. In AMCS, pages 311--316, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_48"},{"key":"e_1_3_2_1_12_1","first-page":"769","volume-title":"CP","author":"Yorke-Smith N.","year":"2003","unstructured":"N. Yorke-Smith and C. Gervet . Certainty closure: a framework for reliable constraint reasoning with uncertainty . In CP , pages 769 -- 783 , 2003 . N. Yorke-Smith and C. Gervet. Certainty closure: a framework for reliable constraint reasoning with uncertainty. In CP, pages 769--783, 2003."},{"key":"e_1_3_2_1_13_1","volume-title":"AAAI","author":"Zhang L.","year":"2006","unstructured":"L. Zhang . Solving QBF by combining conjunctive and disjunctive normal forms . In AAAI , 2006 . To appear. L. Zhang. Solving QBF by combining conjunctive and disjunctive normal forms. In AAAI, 2006. To appear."}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244078","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:50Z","timestamp":1750258070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":13,"alternative-id":["10.1145\/1244002.1244078","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244078","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}