位置：成果数据库 > 期刊 > 期刊详情页
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic
  • ISSN号：1432-4350
  • 期刊名称：Theory of Computing Systems
  • 时间：2015.2
  • 页码：347-371
  • 相关项目：单位球面中闭超曲面的曲率拼挤问题
作者： Zhou, Min|He, Fei|Song, Xiaoyu|He, Shi|Chen, Gangyi|Gu, Ming|
同期刊论文项目
单位球面中闭超曲面的曲率拼挤问题
期刊论文 1
同项目期刊论文