{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:49Z","timestamp":1750306969272,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T00:00:00Z","timestamp":1379548800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Greek national resources"},{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,19]]},"DOI":"10.1145\/2491845.2491847","type":"proceedings-article","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T11:57:17Z","timestamp":1378209437000},"page":"188-194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["The constraint of difference and total dual integrality"],"prefix":"10.1145","author":[{"given":"Dimitrios","family":"Magos","sequence":"first","affiliation":[{"name":"Technological Educational Institute of Athens, Egaleo, Greece"}]}],"member":"320","published-online":{"date-parts":[[2013,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Scip - a framework to integrate constraint and mixed integer programming","author":"Achterberg T.","year":"2004","unstructured":"T. Achterberg . Scip - a framework to integrate constraint and mixed integer programming ., 2004 . Available on line at http:\/\/www.zib.de\/Publications\/Reports\/ZR-04-19.pdf. T. Achterberg. Scip - a framework to integrate constraint and mixed integer programming., 2004. Available on line at http:\/\/www.zib.de\/Publications\/Reports\/ZR-04-19.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.01.009"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1315-1","volume-title":"Logic-based 0-1 constraint programming","author":"Barth P.","year":"1996","unstructured":"P. Barth . Logic-based 0-1 constraint programming . Kluwer Academic Publishers , Norwell, MA, USA , 1996 . P. Barth. Logic-based 0-1 constraint programming. Kluwer Academic Publishers, Norwell, MA, USA, 1996."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(81)90048-5"},{"key":"e_1_3_2_1_5_1","volume-title":"Mosel: An overview","author":"Colombani Y.","year":"2002","unstructured":"Y. Colombani and S. Heipcke . Mosel: An overview , 2002 . Dash Optimization . Y. Colombani and S. Heipcke. Mosel: An overview, 2002. Dash Optimization."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.10.3.276"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01589418"},{"key":"e_1_3_2_1_8_1","volume-title":"Computers and Intractability","author":"Garey M. R.","year":"1990","unstructured":"M. R. Garey and D. S. Johnson . Computers and Intractability ; A Guide to the Theory of NP-Completeness. W. H. Freeman & Co. , New York, NY, USA, 1990 . M. R. Garey and D. S. Johnson. Computers and Intractability; A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY, USA, 1990."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579273"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018923306255"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.14.4.345.2826"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11493853_19"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(99)00100-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-7315(03)00064-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/75427.75430"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-010-0390-6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.14.4.387.2830"},{"key":"e_1_3_2_1_18_1","series-title":"Math","volume-title":"Transversal theory","author":"Mirsky L.","year":"1971","unstructured":"L. Mirsky . Transversal theory , volume 75 of Math . Sci. Eng. Academic Press , London, 1971 . L. Mirsky. Transversal theory, volume 75 of Math. Sci. Eng. Academic Press, London, 1971."},{"key":"e_1_3_2_1_19_1","volume-title":"Integer and combinatorial optimization","author":"Nemhauser G.","year":"1999","unstructured":"G. Nemhauser and L. Wolsey . Integer and combinatorial optimization . Wiley-Interscience series in discrete mathematics and optimization. Wiley , 1999 . G. Nemhauser and L. Wolsey. Integer and combinatorial optimization. Wiley-Interscience series in discrete mathematics and optimization. Wiley, 1999."},{"key":"e_1_3_2_1_20_1","first-page":"362","volume-title":"Proceedings of the 12th national conference on Artificial intelligence (vol. 1), AAAI '94","author":"R\u00e9gin J.-C.","year":"1994","unstructured":"J.-C. R\u00e9gin . A filtering algorithm for constraints of difference in csps . In Proceedings of the 12th national conference on Artificial intelligence (vol. 1), AAAI '94 , pages 362 -- 367 , Menlo Park, CA, USA , 1994 . American Association for Artificial Intelligence. J.-C. R\u00e9gin. A filtering algorithm for constraints of difference in csps. In Proceedings of the 12th national conference on Artificial intelligence (vol. 1), AAAI '94, pages 362--367, Menlo Park, CA, USA, 1994. American Association for Artificial Intelligence."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020506526052"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00143880"},{"key":"e_1_3_2_1_23_1","volume-title":"The alldifferent constraint: A survey. CoRR, cs.PL\/0105015","author":"van Hoeve W. J.","year":"2001","unstructured":"W. J. van Hoeve . The alldifferent constraint: A survey. CoRR, cs.PL\/0105015 , 2001 . W. J. van Hoeve. The alldifferent constraint: A survey. CoRR, cs.PL\/0105015, 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.13.2.96.10515"},{"key":"e_1_3_2_1_25_1","first-page":"86","article-title":"The formulation and solution of logical puzzles and some implication for artificial intelligence","volume":"26","author":"Wilson S.","year":"1990","unstructured":"S. Wilson . The formulation and solution of logical puzzles and some implication for artificial intelligence . Bulletin of the the Institute of Mathematics and Its Applications , 26 : 86 -- 90 , 1990 . S. Wilson. The formulation and solution of logical puzzles and some implication for artificial intelligence. Bulletin of the the Institute of Mathematics and Its Applications, 26:86--90, 1990.","journal-title":"Bulletin of the the Institute of Mathematics and Its Applications"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1090.0733"}],"event":{"name":"PCI 2013: 17th Panhellenic Conference on Informatics","sponsor":["University of Macedonia","Aristotle University of Thessaloniki","The University of Sheffield The University of Sheffield","Alexander TEI of Thessaloniki"],"location":"Thessaloniki Greece","acronym":"PCI 2013"},"container-title":["Proceedings of the 17th Panhellenic Conference on Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491845.2491847","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491845.2491847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:23Z","timestamp":1750235963000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491845.2491847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,19]]},"references-count":26,"alternative-id":["10.1145\/2491845.2491847","10.1145\/2491845"],"URL":"https:\/\/doi.org\/10.1145\/2491845.2491847","relation":{},"subject":[],"published":{"date-parts":[[2013,9,19]]},"assertion":[{"value":"2013-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}