{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:40:39Z","timestamp":1742938839469,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030584740"},{"type":"electronic","value":"9783030584757"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58475-7_40","type":"book-chapter","created":{"date-parts":[[2020,9,6]],"date-time":"2020-09-06T20:02:35Z","timestamp":1599422555000},"page":"690-706","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9876-0272","authenticated-orcid":false,"given":"Yannick","family":"Carissan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8761-1047","authenticated-orcid":false,"given":"Denis","family":"Hagebaum-Reignier","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Prcovic","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9779-9108","authenticated-orcid":false,"given":"Cyril","family":"Terrioux","sequence":"additional","affiliation":[]},{"given":"Adrien","family":"Varet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,2]]},"reference":[{"issue":"2","key":"40_CR1","doi-asserted-by":"publisher","first-page":"L115","DOI":"10.1086\/311843","volume":"511","author":"LJ Allamandola","year":"1999","unstructured":"Allamandola, L.J., Hudgins, D.M., Sandford, S.A.: Modeling the unidentified infrared emission with combinations of polycyclic aromatic hydrocarbons. Astrophys. J. 511(2), L115\u2013L119 (1999). https:\/\/doi.org\/10.1086\/311843","journal-title":"Astrophys. J."},{"issue":"6","key":"40_CR2","doi-asserted-by":"publisher","first-page":"1142","DOI":"10.1002\/tcr.201900016","volume":"19","author":"C Aumaitre","year":"2019","unstructured":"Aumaitre, C., Morin, J.F.: Polycyclic aromatic hydrocarbons as potential building blocks for organic solar cells. Chem. Rec. 19(6), 1142\u20131154 (2019). https:\/\/doi.org\/10.1002\/tcr.201900016","journal-title":"Chem. Rec."},{"issue":"1","key":"40_CR3","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1086\/533424","volume":"678","author":"CW Bauschlicher Jr","year":"2008","unstructured":"Bauschlicher Jr., C.W., Peeters, E., Allamandola, L.J.: The infrared spectra of very large, compact, highly symmetric, polycyclic aromatic hydrocarbons (PAHs). Astrophys. J. 678(1), 316\u2013327 (2008). https:\/\/doi.org\/10.1086\/533424","journal-title":"Astrophys. J."},{"issue":"13","key":"40_CR4","doi-asserted-by":"publisher","first-page":"4322","DOI":"10.1021\/jacs.6b01181","volume":"138","author":"U Beser","year":"2016","unstructured":"Beser, U., et al.: A C216-nanographene molecule with defined cavity as extended coronoid. J. Am. Chem. Soc. 138(13), 4322\u20134325 (2016). https:\/\/doi.org\/10.1021\/jacs.6b01181","journal-title":"J. Am. Chem. Soc."},{"issue":"2","key":"40_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0196-6774(02)00215-8","volume":"45","author":"G Brinkmann","year":"2002","unstructured":"Brinkmann, G., Caporossi, G., Hansen, P.: A constructive enumeration of fusenes and benzenoids. J. Algorithms 45(2), 155\u2013166 (2002)","journal-title":"J. Algorithms"},{"issue":"4","key":"40_CR6","first-page":"585","volume":"63","author":"J Brunvoll","year":"1990","unstructured":"Brunvoll, J., Cyvin, R.N., Cyvin, S.J.: Enumeration and classification of double coronoid hydrocarbons - appendix: triple coronoids. Croat. Chem. Acta 63(4), 585\u2013601 (1990)","journal-title":"Croat. Chem. Acta"},{"issue":"2","key":"40_CR7","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s10910-017-0799-8","volume":"56","author":"ER B\u00e9rczi-Kov\u00e1cs","year":"2017","unstructured":"B\u00e9rczi-Kov\u00e1cs, E.R., Bern\u00e1th, A.: The complexity of the Clar number problem and an exact algorithm. J. Math. Chem. 56(2), 597\u2013605 (2017). https:\/\/doi.org\/10.1007\/s10910-017-0799-8","journal-title":"J. Math. Chem."},{"issue":"4","key":"40_CR8","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1021\/ci970116n","volume":"38","author":"G Caporossi","year":"1998","unstructured":"Caporossi, G., Hansen, P.: Enumeration of polyhex hydrocarbons to h = 21. J. Chem. Inf. Comput. Sci. 38(4), 610\u2013619 (1998). https:\/\/doi.org\/10.1021\/ci970116n","journal-title":"J. Chem. Inf. Comput. Sci."},{"key":"40_CR9","volume-title":"The Aromatic Sextet","author":"E Clar","year":"1972","unstructured":"Clar, E.: The Aromatic Sextet. Wiley, Hoboken (1972)"},{"issue":"4","key":"40_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1021\/ci00064a002","volume":"29","author":"J Cyvin","year":"1989","unstructured":"Cyvin, J., Brunvoll, J., Cyvin, B.N.: Search for concealed non-kekuliian benzenoids and coronoids. J. Chem. Inf. Comput. Sci. 29(4), 237 (1989)","journal-title":"J. Chem. Inf. Comput. Sci."},{"key":"40_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-40970-2_8","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2016","author":"J Devriendt","year":"2016","unstructured":"Devriendt, J., Bogaerts, B., Bruynooghe, M., Denecker, M.: Improved static symmetry breaking for SAT. In: Creignou, N., Le Berre, D. (eds.) SAT 2016. LNCS, vol. 9710, pp. 104\u2013122. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40970-2_8"},{"issue":"28","key":"40_CR12","doi-asserted-by":"publisher","first-page":"12046","DOI":"10.1021\/jacs.0c05268","volume":"142","author":"M Di Giovannantonio","year":"2020","unstructured":"Di Giovannantonio, M., et al.: Large-cavity coronoids with different inner and outer edge structures. J. Am. Chem. Soc. 142(28), 12046\u201312050 (2020). https:\/\/doi.org\/10.1021\/jacs.0c05268","journal-title":"J. Am. Chem. Soc."},{"issue":"47","key":"40_CR13","doi-asserted-by":"publisher","first-page":"12281","DOI":"10.1021\/jp806987f","volume":"112","author":"JR Dias","year":"2008","unstructured":"Dias, J.R.: Structure and electronic characteristics of coronoid polycyclic aromatic hydrocarbons as potential models of graphite layers with hole defects. J. Phys. Chem. A 112(47), 12281\u201312292 (2008). https:\/\/doi.org\/10.1021\/jp806987f","journal-title":"J. Phys. Chem. A"},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1051\/eas\/1146003","volume":"46","author":"BT Draine","year":"2011","unstructured":"Draine, B.T.: Astronomical models of PAHs and dust. EAS Publ. Ser. 46, 29\u201342 (2011). https:\/\/doi.org\/10.1051\/eas\/1146003","journal-title":"EAS Publ. Ser."},{"key":"40_CR15","unstructured":"Fages, J.G., Lorca, X., Prud\u2019homme, C.: Choco solver user guide documentation. https:\/\/choco-solver.readthedocs.io\/en\/latest\/"},{"issue":"15","key":"40_CR16","doi-asserted-by":"publisher","first-page":"3407","DOI":"10.1021\/acs.jpca.9b01014","volume":"123","author":"I Ismail","year":"2019","unstructured":"Ismail, I., Stuttaford-Fowler, H.B.V.A., Ochan Ashok, C., Robertson, C., Habershon, S.: Automatic proposal of multistep reaction mechanisms using a graph-driven search. J. Phys. Chem. A 123(15), 3407\u20133417 (2019). https:\/\/doi.org\/10.1021\/acs.jpca.9b01014","journal-title":"J. Phys. Chem. A"},{"issue":"4","key":"40_CR17","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1039\/C7SC03628K","volume":"9","author":"Y Kim","year":"2018","unstructured":"Kim, Y., Kim, J.W., Kim, Z., Kim, W.Y.: Efficient prediction of reaction paths through molecular graph and reaction network analysis. Chem. Sci. 9(4), 825\u2013835 (2018). https:\/\/doi.org\/10.1039\/C7SC03628K","journal-title":"Chem. Sci."},{"key":"40_CR18","doi-asserted-by":"publisher","unstructured":"Luch, A.: The Carcinogenic Effects of Polycyclic Aromatic Hydrocarbons. Imperial College Press, London (2005). https:\/\/doi.org\/10.1142\/p306","DOI":"10.1142\/p306"},{"issue":"1","key":"40_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1186\/s13015-014-0023-3","volume":"9","author":"M Mann","year":"2014","unstructured":"Mann, M., Nahar, F., Schnorr, N., Backofen, R., Stadler, P.F., Flamm, C.: Atom mapping with constraint programming. Algorithms Mol. Biol. 9(1), 23 (2014). https:\/\/doi.org\/10.1186\/s13015-014-0023-3","journal-title":"Algorithms Mol. Biol."},{"issue":"1","key":"40_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1038\/s41565-019-0577-9","volume":"15","author":"S Mishra","year":"2020","unstructured":"Mishra, S., et al.: Topological frustration induces unconventional magnetism in a nanographene. Nat. Nanotechnol. 15(1), 22\u201328 (2020). https:\/\/doi.org\/10.1038\/s41565-019-0577-9","journal-title":"Nat. Nanotechnol."},{"issue":"27","key":"40_CR21","doi-asserted-by":"publisher","first-page":"10621","DOI":"10.1021\/jacs.9b05319","volume":"141","author":"S Mishra","year":"2019","unstructured":"Mishra, S., et al.: Synthesis and characterization of $$\\pi $$-extended triangulene. J. Am. Chem. Soc. 141(27), 10621\u201310625 (2019). https:\/\/doi.org\/10.1021\/jacs.9b05319","journal-title":"J. Am. Chem. Soc."},{"issue":"18","key":"40_CR22","doi-asserted-by":"publisher","first-page":"6616","DOI":"10.1039\/C5CS00183H","volume":"44","author":"A Narita","year":"2015","unstructured":"Narita, A., Wang, X.Y., Feng, X., M\u00fcllen, K.: New advances in nanographene chemistry. Chem. Soc. Rev. 44(18), 6616\u20136643 (2015). https:\/\/doi.org\/10.1039\/C5CS00183H","journal-title":"Chem. Soc. Rev."},{"issue":"1","key":"40_CR23","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1088\/0004-637X\/754\/1\/75","volume":"754","author":"A Ricca","year":"2012","unstructured":"Ricca, A., Bauschlicher, C.W., Boersma, C., Tielens, A.G.G.M., Allamandola, L.J.: The infrared spectroscopy of compact polycyclic aromatic hydrocarbons containing up to 384 carbons. Astrophys. J. 754(1), 75 (2012). https:\/\/doi.org\/10.1088\/0004-637X\/754\/1\/75","journal-title":"Astrophys. J."},{"issue":"1","key":"40_CR24","doi-asserted-by":"publisher","first-page":"56","DOI":"10.3847\/1538-4357\/ab3124","volume":"882","author":"A Ricca","year":"2019","unstructured":"Ricca, A., Roser, J.E., Peeters, E., Boersma, C.: Polycyclic aromatic hydrocarbons with armchair edges: potential emitters in class B sources. Astrophys. J. 882(1), 56 (2019). https:\/\/doi.org\/10.3847\/1538-4357\/ab3124","journal-title":"Astrophys. J."},{"issue":"4","key":"40_CR25","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1002\/poc.1644","volume":"23","author":"R Rieger","year":"2010","unstructured":"Rieger, R., M\u00fcllen, K.: Forever young: polycyclic aromatic hydrocarbons as model cases for structural and optical studies. J. Phys. Org. Chem. 23(4), 315\u2013325 (2010). https:\/\/doi.org\/10.1002\/poc.1644","journal-title":"J. Phys. Org. Chem."},{"issue":"12","key":"40_CR26","doi-asserted-by":"publisher","first-page":"5980","DOI":"10.1021\/acs.jctc.5b00594","volume":"11","author":"D Simoncini","year":"2015","unstructured":"Simoncini, D., Allouche, D., de Givry, S., Delmas, C., Barbe, S., Schiex, T.: Guaranteed discrete energy optimization on large protein design problems. J. Chem. Theory Comput. 11(12), 5980\u20135989 (2015). https:\/\/doi.org\/10.1021\/acs.jctc.5b00594","journal-title":"J. Chem. Theory Comput."},{"issue":"4","key":"40_CR27","doi-asserted-by":"publisher","first-page":"1088","DOI":"10.1021\/acs.jpca.7b11095","volume":"122","author":"G Trinquier","year":"2018","unstructured":"Trinquier, G., Malrieu, J.P.: Predicting the open-shell character of polycyclic hydrocarbons in terms of Clar sextets. J. Phys. Chem. A 122(4), 1088\u20131103 (2018). https:\/\/doi.org\/10.1021\/acs.jpca.7b11095","journal-title":"J. Phys. Chem. A"},{"key":"40_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"808","DOI":"10.1007\/978-3-540-30201-8_87","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"CW Wu","year":"2004","unstructured":"Wu, C.W.: Modelling chemical reactions using constraint programming and molecular graphs. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 808\u2013808. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30201-8_87"},{"issue":"3","key":"40_CR29","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1021\/cr068010r","volume":"107","author":"J Wu","year":"2007","unstructured":"Wu, J., Pisula, W., M\u00fcllen, K.: Graphenes as potential material for electronics. Chem. Rev. 107(3), 718\u2013747 (2007). https:\/\/doi.org\/10.1021\/cr068010r","journal-title":"Chem. Rev."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58475-7_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T05:38:02Z","timestamp":1619242682000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58475-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030584740","9783030584757"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58475-7_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"2 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Principles and Practice of Constraint Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Louvain-la-Neuve","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cp2020.a4cp.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"122","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"55","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.13","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.47","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}