المؤلفون: Vu, Tung Xuan

مصطلحات موضوعية: SMT solving, non-linear arithmetic, interval constraint propagation, subtropical satisfiability, complete efficient framework

وصف الملف: application/pdf

URL الوصول: https://ndlsearch.ndl.go.jp/books/R100000039-I11178491

Degree: 博士(情報科学) -- 北陸先端科学技術大学院大学

المؤلفون: Vu, Tung Xuan

مصطلحات موضوعية: SMT solving, non-linear arithmetic, interval constraint propagation, subtropical satisfiability, complete efficient framework

المؤلفون: Vu, Tung Xuan

المساهمون: ぶ, とぅん すん

مصطلحات موضوعية: SMT solving, non-linear arithmetic, interval constraint propagation, subtropical satisfiability, complete efficient framework

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10119/15430

الاتاحة: http://hdl.handle.net/10119/15430