{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:37Z","timestamp":1750306297356,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,9]],"date-time":"2016-05-09T00:00:00Z","timestamp":1462752000000},"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":[[2016,5,9]]},"DOI":"10.1145\/2908446.2908476","type":"proceedings-article","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T12:49:08Z","timestamp":1478263748000},"page":"50-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Fuzzy Maximum Satisfiability"],"prefix":"10.1145","author":[{"given":"Mohamed","family":"El Halaby","sequence":"first","affiliation":[{"name":"Department of Mathematics, Cairo University, Giza, Egypt"}]},{"given":"Areeg","family":"Abdalla","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Cairo University, Giza, Egypt"}]}],"member":"320","published-online":{"date-parts":[[2016,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30498-2_34"},{"key":"e_1_3_2_1_2_1","first-page":"7","volume-title":"Proceedings of the International Workshop on First-Order Theorem Proving, FTP","author":"An X.","year":"2011","unstructured":"X. An , M. Koshimura , H. Fujita , and R. Hasegawa . Qmaxsat version 0.3 & 0.4 . In Proceedings of the International Workshop on First-Order Theorem Proving, FTP , pages 7 -- 15 , 2011 . X. An, M. Koshimura, H. Fujita, and R. Hasegawa. Qmaxsat version 0.3 & 0.4. In Proceedings of the International Workshop on First-Order Theorem Proving, FTP, pages 7--15, 2011."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.01.002"},{"key":"e_1_3_2_1_4_1","volume-title":"Solving linux upgradeability problems using boolean optimization. arXiv preprint arXiv:1007.1021","author":"Argelich J.","year":"2010","unstructured":"J. Argelich , D. L. Berre , I. Lynce , J. Marques-Silva , and P. Rapicault . Solving linux upgradeability problems using boolean optimization. arXiv preprint arXiv:1007.1021 , 2010 . J. Argelich, D. L. Berre, I. Lynce, J. Marques-Silva, and P. Rapicault. Solving linux upgradeability problems using boolean optimization. arXiv preprint arXiv:1007.1021, 2010."},{"key":"e_1_3_2_1_5_1","volume-title":"RCRA Workshop","author":"Argelich J.","year":"2008","unstructured":"J. Argelich and I. Lynce . Cnf instances from the software package installation problem . In RCRA Workshop , 2008 . J. Argelich and I. Lynce. Cnf instances from the software package installation problem. In RCRA Workshop, 2008."},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"Annals of Operations Research","author":"As\u00edn Ach\u00e1 R.","year":"2012","unstructured":"R. As\u00edn Ach\u00e1 and R. Nieuwenhuis . Curriculum-based course timetabling with sat and maxsat . Annals of Operations Research , pages 1 -- 21 , 2012 . R. As\u00edn Ach\u00e1 and R. Nieuwenhuis. Curriculum-based course timetabling with sat and maxsat. Annals of Operations Research, pages 1--21, 2012."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2015.10"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009725216438"},{"key":"e_1_3_2_1_9_1","volume-title":"Handbook of temporal reasoning in artificial intelligence","author":"Fisher M. D.","year":"2005","unstructured":"M. D. Fisher , D. M. Gabbay , and L. Vila . Handbook of temporal reasoning in artificial intelligence , volume 1 . Elsevier , 2005 . M. D. Fisher, D. M. Gabbay, and L. Vila. Handbook of temporal reasoning in artificial intelligence, volume 1. Elsevier, 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_25"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00031-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993550"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622637.1622646"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1789854.1789875"},{"key":"e_1_3_2_1_17_1","volume-title":"On using unsatisfiability for solving maximum satisfiability. arXiv preprint arXiv:0712.1097","author":"Marques-Silva J.","year":"2007","unstructured":"J. Marques-Silva and J. Planes . On using unsatisfiability for solving maximum satisfiability. arXiv preprint arXiv:0712.1097 , 2007 . J. Marques-Silva and J. Planes. On using unsatisfiability for solving maximum satisfiability. arXiv preprint arXiv:0712.1097, 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-013-9146-2"},{"key":"e_1_3_2_1_19_1","first-page":"2717","volume-title":"AAAI","author":"Narodytska N.","year":"2014","unstructured":"N. Narodytska and F. Bacchus . Maximum satisfiability using core-guided maxsat resolution . In AAAI , pages 2717 -- 2723 , 2014 . N. Narodytska and F. Bacchus. Maximum satisfiability using core-guided maxsat resolution. In AAAI, pages 2717--2723, 2014."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48523-6_54"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1781238.1781268"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1333874.1334159"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-005-7036-z"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.01.004"}],"event":{"name":"INFOS '16: The 10th International Conference on Informatics and Systems","acronym":"INFOS '16","location":"Giza Egypt"},"container-title":["Proceedings of the 10th International Conference on Informatics and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908446.2908476","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908446.2908476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:13Z","timestamp":1750221553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908446.2908476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,9]]},"references-count":24,"alternative-id":["10.1145\/2908446.2908476","10.1145\/2908446"],"URL":"https:\/\/doi.org\/10.1145\/2908446.2908476","relation":{},"subject":[],"published":{"date-parts":[[2016,5,9]]},"assertion":[{"value":"2016-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}