年 〜
年

検索結果 3 件

多項式制約のためのSMTとその応用

多項式制約のためのSMTとその応用
デジタル博士論文障害者向け資料あり
To, Van Khanh2013-06
国立国会図書館
  • 件名...Theories - SMT polynomial constraints testing abstract DPLL

raSAT: SMT for Polynomial Inequality

raSAT: SMT for Polynomial Inequality
デジタル文書・図像類
To, Van Khanh, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-05-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-23
全国の図書館
  • 件名interval arithmetic affine arithmetic SMT polynomial constraints testing

多項式制約のためのSMTとその応用

多項式制約のためのSMTとその応用
デジタル博士論文
To, Van Khanh2013-06
インターネットで読める全国の図書館
  • 件名...Theories - SMT polynomial constraints testing abstract DPLL

検索結果は以上です。