{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:43:12Z","timestamp":1730259792670,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1109\/ictai56018.2022.00205","type":"proceedings-article","created":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T17:27:57Z","timestamp":1681838877000},"page":"1355-1361","source":"Crossref","is-referenced-by-count":2,"title":["Taking Advantage of a Very Simple Property to Efficiently Infer NFAs"],"prefix":"10.1109","author":[{"given":"Tomasz","family":"Jastrz\u0105b","sequence":"first","affiliation":[{"name":"Silesian University of Technology,Poland"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Lardeux","sequence":"additional","affiliation":[{"name":"University of Angers,France"}]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[{"name":"University of Angers,France"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1017\/CBO9781139194655"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.3233\/fi-2021-2004"},{"key":"ref3","volume-title":"Grammatical Inference - Algorithms, Routines and Applications, ser. Studies in Computational Intelligence","volume":"673","author":"Wieczorek","year":"2017"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.tcs.2003.11.008"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/11812128_25"},{"key":"ref6","first-page":"105","article-title":"Dynamic construction of finite-state automata from exam-ples using hill-climbing","volume-title":"Proc. of the Fourth Annual Conference of the Cognitive Science Society","author":"Tomita"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/3-540-58473-0_152"},{"volume-title":"Handbook of Constraint Programming","year":"2006","author":"Rossi","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.procs.2016.05.318"},{"key":"ref10","first-page":"279","article-title":"Two parallelization schemes for the induction of nondeterministic finite automata on PCs","volume-title":"Proc. of PPAM 2017, ser. LNCS","volume":"10777"},{"key":"ref11","first-page":"741","article-title":"A comparison of selected variable ordering methods for NFA induction","volume-title":"Proc. of ICCS 2019, ser. LNCS","volume":"11540"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/ictai52525.2021.00065"},{"volume-title":"The 8th International Conference on Metaheuristics and Nature Inspired Computing (META)","article-title":"GA and ILS for optimizing the size of NFA models","key":"ref13"},{"volume-title":"International Conference in Optimization and Learning (OLA)","article-title":"Improved SAT models for NFA learning","key":"ref14"},{"key":"ref15","first-page":"579","volume-title":"Iterated Local Search","author":"St\u00fctzle","year":"2018"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"ref17","first-page":"399","article-title":"Predicting learnt clauses quality in modern SAT solvers","volume-title":"Proc. of IJCAI 2009","author":"Audemard"}],"event":{"name":"2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI)","start":{"date-parts":[[2022,10,31]]},"location":"Macao, China","end":{"date-parts":[[2022,11,2]]}},"container-title":["2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10097829\/10097885\/10098060.pdf?arnumber=10098060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T08:39:19Z","timestamp":1710405559000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10098060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ictai56018.2022.00205","relation":{},"subject":[],"published":{"date-parts":[[2022,10]]}}}