{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:14:08Z","timestamp":1729610048912,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1109\/isqed.2009.4810323","type":"proceedings-article","created":{"date-parts":[[2009,4,3]],"date-time":"2009-04-03T14:50:11Z","timestamp":1238770211000},"page":"371-376","source":"Crossref","is-referenced-by-count":2,"title":["Efficient SAT-based techniques for Design of Experiments by using static variable ordering"],"prefix":"10.1109","author":[{"given":"Miroslav N.","family":"Velev","sequence":"first","affiliation":[]},{"given":"Ping","family":"Gao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1998.144337"},{"journal-title":"Efficient Algorithms for Clause Learning SAT Solvers","year":"2004","author":"ryan","key":"35"},{"key":"17","first-page":"22","article-title":"completing quasigroups or latin squares: a structured graph coloring problem","author":"gomes","year":"2002","journal-title":"Computational Symposium on Graph Coloring and Extensions"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_19"},{"key":"18","first-page":"291","article-title":"the promise of lp to boost csp techniques for combinatioral problems","author":"gomes","year":"2002","journal-title":"CP-AI-OR'02"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2002.996778"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.08.002"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00081-3"},{"key":"39","first-page":"1172","article-title":"search in a small world","author":"walsh","year":"1999","journal-title":"Sixteenth International Joint Conference on Artificial Intelligence (IJCAI"},{"key":"13","first-page":"415","article-title":"variable ordering for efficient sat search by analyzing constraint-variable dependencies","volume":"3569","author":"durairaj","year":"2005","journal-title":"LNCS"},{"key":"14","article-title":"new features of the sat'04 versions of zchaff","author":"fu","year":"2004","journal-title":"Working Notes on the SAT'04 Solver Competition"},{"key":"37","volume":"1","author":"taguchi","year":"1987","journal-title":"System of Experimental Design"},{"year":"0","key":"11"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_109"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382629"},{"key":"21","article-title":"sat-encodings, search space structure, and local search performance","author":"hoos","year":"1999","journal-title":"International Joint Conference on Artificial Intelligence (IJCAI"},{"key":"20","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1613\/jair.1351","article-title":"dual modelling of permutation and injection problems","volume":"21","author":"hnich","year":"2004","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2225-6"},{"key":"40","article-title":"permutation problems and channeling constraints, lpar'01","volume":"2250","author":"walsh","year":"2001","journal-title":"LNCS"},{"journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","article-title":"the second dimacs implementation challenge","year":"1993","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2005.25"},{"key":"24","first-page":"374","article-title":"encoding plans in propositional logic","author":"kautz","year":"1996","journal-title":"5th International Conference on the Principle of Knowledge Representation and Reasoning (KR"},{"key":"25","article-title":"unifying sat-based and graphbased planning","author":"kautz","year":"1999","journal-title":"International Joint Conference on Artificial Intelligence (IJCAI"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0653(04)00310-5"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2005.25"},{"journal-title":"Planning as Satisfiability","year":"0","author":"kautz","key":"28"},{"key":"29","article-title":"breaking local symmetries in quasigroup completion problems","author":"martins","year":"2007","journal-title":"RCRA'07"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00130568"},{"key":"2","first-page":"137","article-title":"modeling choices in quasigroup completion: sat vs. csp","author":"anso?tegui","year":"2004"},{"key":"10","first-page":"288","article-title":"redundant modeling for the quasigroup completion problem, cp'03","volume":"2833","author":"dotu?","year":"2003","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.4304\/jcm.2.4.49-56"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1992.tb00164.x"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1999.780185"},{"key":"32","first-page":"11","article-title":"planning efficient software tests","author":"phadke","year":"1997","journal-title":"Crosstalk Journal of defense software engineering"},{"key":"5","article-title":"understanding the power of clause learning","author":"beame","year":"2003","journal-title":"18th International Joint Conference on Artificial Intelligence (IJCAI '03)"},{"journal-title":"Quality Engineering Using Robust Design","year":"1989","author":"phadke","key":"31"},{"key":"4","first-page":"31","article-title":"constraint satisfaction in optical routing for passive wavelength-routed networks","author":"banerjee","year":"1996","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90075-1"},{"key":"8","first-page":"292","article-title":"improving parallel planning with constraints on the number of operators","author":"bu?ttner","year":"2005","journal-title":"15th International Conference on Automated Planning and Scheduling (ICAPS '05)"}],"event":{"name":"2009 10th International Symposium on Quality of Electronic Design (ISQED)","start":{"date-parts":[[2009,3,16]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2009,3,18]]}},"container-title":["2009 10th International Symposium on Quality of Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4804412\/4810250\/04810323.pdf?arnumber=4810323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T05:26:10Z","timestamp":1558243570000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4810323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/isqed.2009.4810323","relation":{},"subject":[],"published":{"date-parts":[[2009,3]]}}}