An analytic criterion for CSAT

Norichika Matsuki

首页> 外文期刊>Information Processing Letters >An analytic criterion for CSAT

【24h】

An analytic criterion for CSAT

机译：CSAT的分析标准

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give a criterion for satisfiability of a boolean formula in conjunctive normal form by means of a multiple integral.

机译：我们通过多重积分给出了合取范式中布尔公式可满足性的标准。

著录项

来源
《Information Processing Letters》 |2012年第5期|p.164-165|共2页
作者
Norichika Matsuki;
展开▼
作者单位

3-9-34, Fujisaki, Narashino-shi, Chiba 275-0017, Japan;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
CSAT; multiple integral; theory of computation;

机译：CSAT;多重积分;计算理论;

相似文献

外文文献
中文文献
专利

1. Assessing the generalizability of the CSAT-sponsored GAIN dataset: Are the CSAT sites representative of adolescent treatment programs in the U.S. ? [J] . Journal of substance abuse treatment . 2014,第2期

机译：评估由CSAT赞助的GAIN数据集的可推广性：CSAT网站是否代表美国的青少年治疗计划？
2. A Heuristic Elastoplastic Damage Constitutive Modeling Method for Geomaterials: From Strength Criterion to Analytical Full-Spectrum Stress-Strain Curves [J] . Zhao Lun-yang, Zhang Wan-lu, Lai Yuan-ming, International journal of geomechanics . 2021,第2期

机译：一种启发式弹塑性损伤的地磁构成构建方法：从强度标准到分析全谱应力 - 应变曲线
3. An analytical proof on suitability of Cauchy-Schwarz Divergence as the aggregation criterion in Region Growing Algorithm [J] . Baleghi Yasser, Rousseau David Image and Vision Computing . 2021,第Nova期

机译：Cauchy-Schwarz发散的适用性分析证明作为区域生长算法的聚集标准
4. Machine Learning based detection of multiple Wi-Fi BSSs for LTE-U CSAT [C] . Vanlin Sathya, Adam Dziedzic, Monisha Ghosh, International Conference on Computing, Networking and Communications . 2020

机译：基于机器学习的LTE-U CSAT多个Wi-Fi BSS的检测
5. Investigation of a stress concentration factor for analytical stress based failure criterion. [D] . McLaughlin, Kyle Robert. 2009

机译：研究基于分析应力的失效准则的应力集中因子。
6. Assessing the generalizability of the CSAT-sponsored GAIN dataset: Are the CSAT sites representative of adolescent treatment programs in the U.S.? [O] . Sarah B. Hunter, Beth Ann Griffin, Marika S. Booth, -1

机译：评估由CSAT赞助的GAIN数据集的可推广性：CSAT网站是否代表美国的青少年治疗计划？
7. „Az Alföld sajátságosan paradox hely...” Interjú Csatári Bálinttal = "The Great Hungarian Plain is a paradoxical place”udInterview with Bálint Csatári [O] . Barta Györgyi, Csatári Bálint 2015

机译：“大平原是一个独特的悖论之地……”巴林特·查萨里（BálintCsatári）访谈=“大匈牙利平原也是一个自相矛盾的地方” udBálintCsatári访谈
8. Analytical Yield Criterion for an Anisotropic Material Containing Spherical Voids and Exhibiting Tension-Compression Asymmetry [R] . Stewart, J. B., Cazacu, O. 2011

机译：含球形各向异性材料的分析屈服准则及展示张力 - 压缩不对称性

An analytic criterion for CSAT

摘要

著录项

相似文献

相关主题

期刊订阅