{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:58:23Z","timestamp":1730275103763,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iske.2017.8258783","type":"proceedings-article","created":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T17:47:01Z","timestamp":1516038421000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Parallel hybrid genetic algorithm for sat problems based on OpenMP"],"prefix":"10.1109","author":[{"given":"Guanfeng","family":"Wu","sequence":"first","affiliation":[]},{"given":"Qingshan","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Feng","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Xiaomei","family":"Zhong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Genetic Algorithm for Solving SAT Problems based on Learning Clause Weights","volume":"28","author":"ling","year":"2005","journal-title":"Chinese Journal of Computers"},{"key":"ref11","first-page":"329","article-title":"Generating SAT Instances from First-Order Formulas","volume":"16","author":"zhuo","year":"2005","journal-title":"Journal of Software"},{"key":"ref12","first-page":"97003","article-title":"A summary of research on parallel genetic algorithms","author":"paz","year":"1995","journal-title":"IlliGAL Report"},{"key":"ref13","first-page":"179","article-title":"Research Progress of Parallel Genetic Algorithm","volume":"10","author":"dan","year":"2014","journal-title":"Computer Knowledge and Technology"},{"key":"ref14","first-page":"30","article-title":"Application of coarse-grained genetic algorithm to reservoir operation","volume":"31","author":"xiang","year":"2012","journal-title":"Journal of Hydroelectric engineering"},{"key":"ref15","first-page":"200","article-title":"Research of Hybrid Parallel Genetic Algorithm Based on Multi-core Cluster System [J]","volume":"38","author":"rong","year":"2011","journal-title":"Computer Science"},{"key":"ref16","first-page":"476","article-title":"A hybrid genetic algorithm to solve 3-SAT problem","author":"an","year":"2016","journal-title":"Natural Computation Fuzzy Systems and Knowledge Discovery (ICNC-FSKD) 2016 12th International Conference on IEEE"},{"key":"ref17","article-title":"Study on the Computation Performance and Application of the Coarse-grained Parallel Genetic Algorithms [D]","author":"qin","year":"2008","journal-title":"Huazhong University of Science and Technology"},{"key":"ref18","first-page":"40","article-title":"Solving NP-Complete problems by genetic algorithms","author":"xun","year":"2014","journal-title":"Journal of Henan Institute of Science and Technology"},{"key":"ref19","first-page":"1","article-title":"Research of Massive parallel genetic algorithm based on Spark [J]","author":"hon","year":"2017","journal-title":"Application Research of Computers"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/59.589638"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198665"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.compstruct.2013.07.049"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2014.06.002"},{"key":"ref8","first-page":"245","article-title":"ManySAT: a Parallel SAT Solver","volume":"6","author":"hamadi","year":"2009","journal-title":"Technology"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2017.70"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2013.20"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/9789813146976_0079"},{"journal-title":"Genetic Algorithm and Its Application","year":"1996","author":"liang","key":"ref20"},{"year":"0","key":"ref22"},{"key":"ref21","article-title":"3-SAT Problem Solving Based on Genetic and Simulated Annealing Algorithm","author":"li","year":"2012","journal-title":"Research and development"}],"event":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2017,11,24]]},"location":"Nanjing","end":{"date-parts":[[2017,11,26]]}},"container-title":["2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8246022\/8258711\/08258783.pdf?arnumber=8258783","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,5]],"date-time":"2018-02-05T17:32:36Z","timestamp":1517851956000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8258783\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iske.2017.8258783","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}