{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T19:51:40Z","timestamp":1785873100323,"version":"3.56.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/cec.2012.6256590","type":"proceedings-article","created":{"date-parts":[[2012,8,6]],"date-time":"2012-08-06T20:51:10Z","timestamp":1344286270000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Multi-grid cellular genetic algorithm for optimizing variable ordering of ROBDDs"],"prefix":"10.1109","author":[{"given":"Cristian","family":"Rotaru","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Octav","family":"Brudaru","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"226","article-title":"A density-based algorithm for discovering clusters in large spatial databases with noise","author":"ester","year":"0","journal-title":"Proc of the Second Int Conf on Knowledge Discovery and Data Mining (KDD-96)"},{"key":"22","first-page":"6","article-title":"Logic verification using BDDs in a logic synthesis environment","author":"malik","year":"1988","journal-title":"Proc of the ACM\/IEEE Int Conf on Computer Aided Design"},{"key":"17","first-page":"281","article-title":"Some methods for classification and analysis of multivariate observations","author":"macqueen","year":"0","journal-title":"Proceedings of the 5th Berkeley Symposium on Mathematical Statistics and Probability Berkeley CA"},{"key":"23","first-page":"2","article-title":"Evaluation and improvements of Boolean comparison method based on BDDs","author":"fujita","year":"1988","journal-title":"Proc of the ACM\/IEEE Int Conf on Computer Aided Design"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1979.4766909"},{"key":"24","year":"0"},{"key":"15","first-page":"156","article-title":"New hybrid genetic algorithm with adaptive operators and variability target for optimizing variable order in OBDD","volume":"19","author":"furdu","year":"2009","journal-title":"Proc of \"Gh Vranceanu\" Int'l Conference on Mathematics and Informatics ICMI 2"},{"key":"16","author":"goldberg","year":"1989","journal-title":"Genetic Algorithms in Search Optimization and Machine Learning"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"11","author":"alba","year":"2008","journal-title":"Cellular Genetic Algorithms"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2011.54"},{"key":"21","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1145\/127601.127705","article-title":"Heuristics to compute variable orderings for efficient manipulation of OBDDs","author":"butler","year":"1991","journal-title":"Proc ACM\/IEEE 35th Design Autom Conf"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1997.628892"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.4316\/aece.2010.02015"},{"key":"2","first-page":"38","article-title":"Interleaving based variable ordering methods for OBDD","author":"fujii","year":"1993","journal-title":"Int'l Conf on CAD"},{"key":"1","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/12.53586","article-title":"Finding the optimal variable ordering for BDDs","volume":"39","author":"friedman","year":"1990","journal-title":"IEEE Trans on Comp"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2010.33"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19960789"},{"key":"6","article-title":"Simulated annealing to improve variable orderings for OBDDs","author":"bollig","year":"1995","journal-title":"Int'l Workshop on Logic Synth"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.479994"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852053"},{"key":"8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11513575_1","article-title":"Genetic algorithms for variable ordering problem of BDDs","volume":"3469","author":"lenders","year":"0","journal-title":"Lect Notes in Comp Sc"}],"event":{"name":"2012 IEEE Congress on Evolutionary Computation (CEC)","location":"Brisbane, Australia","start":{"date-parts":[[2012,6,10]]},"end":{"date-parts":[[2012,6,15]]}},"container-title":["2012 IEEE Congress on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6241678\/6252855\/06256590.pdf?arnumber=6256590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T22:30:48Z","timestamp":1497997848000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6256590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cec.2012.6256590","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}