QQ客服 官方微博 反馈留言

	Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method
	Gao, W.; Lv, H.; Zhang, Q.; Cai, D.
刊名	Algorithms
	2018
卷号	11
关键词	Chains Formal logic Graphic methods Markov processes Approximate methods Flat histograms Flat-histogram methods Markov Chain Monte-Carlo Refinement strategy Sampling strategies Sat modulo theories Satisfiability modulo Theories Monte Carlo methods
ISSN号	19994893
DOI	10.3390/a11090142
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5928835
专题	北京航空航天大学
推荐引用方式 GB/T 7714	Gao, W.,Lv, H.,Zhang, Q.,et al. Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method[J]. Algorithms,2018,11.
APA	Gao, W.,Lv, H.,Zhang, Q.,&Cai, D..(2018).Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method.Algorithms,11.
MLA	Gao, W.,et al."Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method".Algorithms 11(2018).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。