{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:47Z","timestamp":1750306247557,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,29]],"date-time":"2017-03-29T00:00:00Z","timestamp":1490745600000},"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":[[2017,3,29]]},"DOI":"10.1145\/3090354.3090408","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T12:10:27Z","timestamp":1501503027000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["New checker for constraint network solutions"],"prefix":"10.1145","author":[{"given":"K.","family":"Haddouch","sequence":"first","affiliation":[{"name":"National School of Applied Sciences of Al Hoce\u00efma, University Mohammed First, Morocco"}]},{"given":"K.","family":"El moutaouakil","sequence":"additional","affiliation":[{"name":"National School of Applied Sciences of Al Hoce\u00efma, University Mohammed First, Morocco"}]}],"member":"320","published-online":{"date-parts":[[2017,3,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.12.002"},{"issue":"2","key":"e_1_3_2_1_2_1","first-page":"29","article-title":"Maximal Constraint Satisfaction Problems solved by Continuous Hopfield Networks","volume":"12","author":"Ettaouil","year":"2013","unstructured":"M. Ettaouil, Loqman, C., Haddouch K., hami Y.: Maximal Constraint Satisfaction Problems solved by Continuous Hopfield Networks. Wseas Transactions on Computers, 12(2), 29--40(2013).","journal-title":"Wseas Transactions on Computers"},{"issue":"2","key":"e_1_3_2_1_3_1","first-page":"362","article-title":"Continuous hopfield network and quadratic programming for solving the binary constraint satisfaction problems","volume":"56","author":"Haddouch K.","year":"2013","unstructured":"Haddouch, K., Ettaouil, M. Loqman, C.: Continuous hopfield network and quadratic programming for solving the binary constraint satisfaction problems. Journal of Theoretical and Applied Information Technology, 56(2), 362--372(2013).","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.9781\/ijimai.2016.4111"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.05.004"},{"key":"e_1_3_2_1_6_1","unstructured":"Lecoutre C.: instances aviable at: http:\/\/www.cril.univartois.fr\/~lecoutre\/benchmarks.html."},{"key":"e_1_3_2_1_7_1","unstructured":"Statistical results available at: http:\/\/www.cril.univartois.fr\/PB12\/results\/globalbybench.php?idev=68&idcat=0."},{"key":"e_1_3_2_1_8_1","unstructured":"Obtained results of Sat4j PB 2012-05-28 (complete) available at http:\/\/www.cril.univartois.fr\/PB12\/results\/solver.php?idev=68&idsolver=2301."},{"key":"e_1_3_2_1_9_1","unstructured":"Generated solution of queen5-5-4 by Sat4j PB 2012-05-28 available at: http:\/\/www.cril.univartois.fr\/PB12\/results\/bench.php?idev=68&idbench=79656."},{"key":"e_1_3_2_1_10_1","volume-title":"Verfaillie","author":"Schiex T.","year":"1995","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems, in: IJCAI-95, Montr\u00e9al, Canada, 631--637(1995)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60299-2_18"},{"key":"e_1_3_2_1_12_1","first-page":"309","volume-title":"proceedings of the Seventeeth International Joint conference on Artificial Intelligence (IJCAI'2001)","author":"Bessi\u00e8re J-C","year":"2001","unstructured":"C. Bessi\u00e8re and J-C. R\u00e9gin, \"Refining the basic constraint propagation algorithm, In proceedings of the Seventeeth International Joint conference on Artificial Intelligence (IJCAI'2001), pp. 309--315, 2001."},{"volume-title":"Artificial Intelligence","author":"Bessi\u00e8re","key":"e_1_3_2_1_13_1","unstructured":"C. Bessi\u00e8re, \" Arc-consistency and arc-consistency again\", Artificial Intelligence, vol. 6 5, no. 1, pp. 179--190, 1994."},{"key":"e_1_3_2_1_14_1","first-page":"998","article-title":"Backtracking algorithms for constraint satisfaction problems\", in Constraints","volume":"1","author":"Dechter D.","unstructured":"Dechter and D. Frost, \"Backtracking algorithms for constraint satisfaction problems\", in Constraints, International Journal, 1 998.","journal-title":"International Journal"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90051-X"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45578-7_12"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90083-4"},{"volume-title":"Journal ACM Transactions on Algorithms (TALG) TALG Homepage archive","author":"Charikar","key":"e_1_3_2_1_18_1","unstructured":"M. Charikar, and al., Near-optimal algorithms for maximum constraint satisfaction problems, Journal ACM Transactions on Algorithms (TALG) TALG Homepage archive, Vol. 5, No. 3, 2009, pp. 62--68."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90004-H"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90051-X"},{"key":"e_1_3_2_1_21_1","first-page":"188","volume-title":"Proc. of AAAI","author":"Richard J.","year":"1996","unstructured":"Richard J. Wallace, Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem, Proc. of AAAI, 1996, pp.188--196."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10428-7_17"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00400-9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.05.004"},{"key":"e_1_3_2_1_25_1","unstructured":"Obtained results of SCIP spx SCIP 2.1.1. 4. with SoPlex 1.6.0.3 fixed (complete) available at http:\/\/www.cril.univartois.fr\/PB12\/results\/solver.php?idev=68&idsolver=2300."},{"key":"e_1_3_2_1_26_1","volume-title":"Verfaillie","author":"Schiex T.","year":"1995","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems, in: IJCAI-95, Montr\u00e9al, Canada, 631--637(1995)."},{"key":"e_1_3_2_1_27_1","unstructured":"Generated solution of 4wqueens by Sat4j PB 2012-05-28 available at: http:\/\/www.cril.univartois.fr\/PB12\/results\/bench.php?idev=68&idbench=79349."},{"key":"e_1_3_2_1_28_1","unstructured":"Obtained results of AbsconMax 11 2 PC-D available at http:\/\/www.cril.univartois.fr\/CPAI08\/results\/solver.php?idev=16&idsolver=360."}],"event":{"name":"BDCA'17: 2nd international Conference on Big Data, Cloud and Applications","sponsor":["Minist\u00e8re de I'enseignement sup\u00e9rieur Minist\u00e8re de I'enseignement sup\u00e9rieur"],"location":"Tetouan Morocco","acronym":"BDCA'17"},"container-title":["Proceedings of the 2nd international Conference on Big Data, Cloud and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3090354.3090408","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3090354.3090408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:48Z","timestamp":1750220628000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3090354.3090408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,29]]},"references-count":28,"alternative-id":["10.1145\/3090354.3090408","10.1145\/3090354"],"URL":"https:\/\/doi.org\/10.1145\/3090354.3090408","relation":{},"subject":[],"published":{"date-parts":[[2017,3,29]]},"assertion":[{"value":"2017-03-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}