{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:05:47Z","timestamp":1742929547793,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044274"},{"type":"electronic","value":"9783642044281"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04428-1_22","type":"book-chapter","created":{"date-parts":[[2009,10,9]],"date-time":"2009-10-09T12:05:58Z","timestamp":1255089958000},"page":"249-260","source":"Crossref","is-referenced-by-count":0,"title":["Aggregating Interval Orders by Propositional Optimization"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Le Berre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Marquis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meltem","family":"\u00d6zt\u00fcrk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.3233\/SAT190047","volume":"4","author":"J. Argelich","year":"2008","unstructured":"Argelich, J., Li, C.-M., Many\u00e0, F., Planes, J.: The first and second max-sat evaluations. Journal on Satisfiability, Boolean Modeling and Computation (JSAT)\u00a04, 251\u2013278 (2008)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation (JSAT)"},{"key":"22_CR2","volume-title":"Social choice and individual values","author":"K.J. Arrow","year":"1951","unstructured":"Arrow, K.J.: Social choice and individual values, 2nd edn. J. Wiley, New York (1951\/1963)","edition":"2"},{"key":"22_CR3","unstructured":"de Condorcet, M.: Essai sur l\u2019application de l\u2019analyse \u00e0 la probabilit\u00e9 des d\u00e9cisions rendues \u00e0 la pluralit\u00e9 des voix. Imprimerie Royale, Paris (1785)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Coudert, O.: On solving covering problems. In: Design Automation Conference, pp. 197\u2013202 (1996)","DOI":"10.1145\/240518.240555"},{"key":"22_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(85)90042-1","volume-title":"Interval Orders and Interval Graphs","author":"P.C. Fishburn","year":"1985","unstructured":"Fishburn, P.C.: Interval Orders and Interval Graphs. J. Wiley, New York (1985)"},{"key":"22_CR6","unstructured":"Gibbard, A.: Social choice and the arrow conditions (unpublished, 1969)"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s10479-008-0353-y","volume":"163","author":"O. Hudry","year":"2008","unstructured":"Hudry, O.: Np-hardness results for the aggregation of linear orders into median orders. Annals of Operations Research\u00a0163, 63\u201388 (2008)","journal-title":"Annals of Operations Research"},{"key":"22_CR8","first-page":"575","volume":"88","author":"J.G. Kemeny","year":"1959","unstructured":"Kemeny, J.G.: Mathematics without numbers. Daedalus\u00a088, 575\u2013591 (1959)","journal-title":"Daedalus"},{"key":"22_CR9","unstructured":"Le Berre, D., Parrain, A.: SAT4J, a SATisfiability library for java, \n                  \nhttp:\/\/www.sat4j.org"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Luce, R.D.: Semi-orders and a theory of utility discrimination. Econometrica\u00a024 (1956)","DOI":"10.2307\/1905751"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"103","DOI":"10.3233\/SAT190018","volume":"2","author":"V. Manquinho","year":"2006","unstructured":"Manquinho, V., Roussel, O.: The first evaluation of pseudo-boolean solvers (pb 2005). Journal on Satisfiability, Boolean Modeling and Computation (JSAT)\u00a02, 103\u2013143 (2006)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation (JSAT)"},{"key":"22_CR12","volume-title":"Combinatorial Optimization: algorithms and complexity","author":"C.. Papadimitriou","year":"1982","unstructured":"Papadimitriou, C., Steiglitz, I.: Combinatorial Optimization: algorithms and complexity. Prentice-Hall, Englewood Cliffs (1982)"},{"key":"22_CR13","volume-title":"Semi Orders","author":"M. Pirlot","year":"1997","unstructured":"Pirlot, M., Vincke, P.: Semi Orders. Kluwer Academic, Dordrecht (1997)"},{"key":"22_CR14","volume-title":"Collective Choice and Social Welfare","author":"A.K. Sen","year":"1970","unstructured":"Sen, A.K.: Collective Choice and Social Welfare. North Holland, Amsterdam (1970)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"2620","DOI":"10.1073\/pnas.93.6.2620","volume":"93","author":"R. Stanley","year":"1996","unstructured":"Stanley, R.: Hyperplanes arrangements, interval orders and trees. Proc. Nat. Acad. Sci.\u00a093, 2620\u20132625 (1996)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"22_CR16","first-page":"441","volume":"17","author":"N. Wiener","year":"1914","unstructured":"Wiener, N.: A contribution to the theory of relative position. Proc. of Cambridge Philosophical Society\u00a017, 441\u2013449 (1914)","journal-title":"Proc. of Cambridge Philosophical Society"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Decision Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04428-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,10]],"date-time":"2020-10-10T10:05:24Z","timestamp":1602324324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04428-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044274","9783642044281"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04428-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}