{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T01:31:55Z","timestamp":1785202315468,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642213106","type":"print"},{"value":"9783642213113","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21311-3_4","type":"book-chapter","created":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T08:47:22Z","timestamp":1304585242000},"page":"4-19","source":"Crossref","is-referenced-by-count":24,"title":["Optimization Methods for the Partner Units Problem"],"prefix":"10.1007","author":[{"given":"Markus","family":"Aschinger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Conrad","family":"Drescher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Jeavons","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anna","family":"Ryabokon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evgenij","family":"Thorstensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A., Thorstensen, E.: Tackling the Partner Units Problem. Tech. Rep. RR-10-28, Computing Laboratory, University of Oxford (2010), available from the authors"},{"key":"4_CR2","unstructured":"Third International Answer Set Programming Competition 2011 (2011), \n                    https:\/\/www.mat.unical.it\/aspcomp2011\/"},{"key":"4_CR3","unstructured":"The Potsdam Answer Set Solving Collection, \n                    http:\/\/potassco.sourceforge.net\/"},{"key":"4_CR4","unstructured":"COIN-OR CLP\/CBC IP solver, \n                    http:\/\/www.coin-or.org\/"},{"key":"4_CR5","unstructured":"IBM ILOG CPLEX IP solver, \n                    http:\/\/www.ibm.com\/"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the ACM\u00a07(3) (1960)","DOI":"10.1145\/321033.321034"},{"key":"4_CR7","unstructured":"ECLiPSe-Prolog, \n                    http:\/\/eclipseclp.org\/"},{"key":"4_CR8","unstructured":"Falkner, A., Haselb\u00f6ck, A., Schenner, G.: Modeling Technical Product Configuration Problems. In: Proceedings of the Configuration Workshop at ECAI 2010 (2010)"},{"key":"4_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP 1988 (1988)"},{"key":"4_CR10","unstructured":"Goldberg, E., Novikov, Y.: BerkMin: A fast and robust SAT-solver. In: Proceedings of DATE 2002 (2002)"},{"key":"4_CR11","volume-title":"Integrated Methods for Optimization","author":"J.N. Hooker","year":"2006","unstructured":"Hooker, J.N.: Integrated Methods for Optimization. Springer, New York (2006)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic\u00a07(3) (2006)","DOI":"10.1145\/1149114.1149117"},{"key":"4_CR13","unstructured":"Meringer, M.: Regular Graphs Page, \n                    http:\/\/www.mathe2.uni-bayreuth.de\/markus\/reggraphs.html"},{"key":"4_CR14","unstructured":"Minisat SAT solver, \n                    http:\/\/www.minisat.se"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. In: Proceedings of DAC 2001 (2001)","DOI":"10.1145\/378239.379017"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-79719-7_25","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2008","author":"V. Ryvchin","year":"2008","unstructured":"Ryvchin, V., Strichman, O.: Local restarts. In: Kleine B\u00fcning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol.\u00a04996, pp. 271\u2013276. Springer, Heidelberg (2008)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2) (2002)","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"827","DOI":"10.1007\/11564751_73","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"C. Sinz","year":"2005","unstructured":"Sinz, C.: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 827\u2013831. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21311-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T01:05:19Z","timestamp":1609203919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21311-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213106","9783642213113"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21311-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}