编辑配置文件（在新选项卡中打开） 奥尔加·特维雷蒂纳 合著者距离 作者ID： tveretina.olga公司 发布日期： 奥尔加·特维雷蒂纳 外部链接： MGP公司 已编制索引的文档： 15出版物自2002年起 合著者： 12位合著者具有13联合出版物 243位合作作者 全部的 前5名合著者 2 单作者的 4 汉斯·赞特玛 2 安德烈·桑德勒 2 范德波尔，扬·科内利斯 1 巴哈雷赫巴德班 1 De Oliveira奥利维拉，马特乌斯 1 丹尼尔·芬克 1 格罗特，扬·弗里索 1 米拉德·尼基 1 亚历克斯·沙法伦科 1 卡斯滕·辛兹 1 威瑟林克 1 巴维尔·扎伊琴科夫 系列 1 信息与计算 1 约束条件 1 逻辑与代数程序设计杂志 1 WSEAS数学汇刊 1 可满足性、布尔建模与计算杂志 领域 15 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 4 系统论；控制（93至XX） 1 常微分方程（34-XX） 1 流形和细胞复合体（57至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用14次12文件 引用人▼ 年份▼ 一阶谓词逻辑的二进制决策图。 Zbl 1035.03012号 格罗特，扬·弗里索;奥尔加·特维雷蒂纳 三 2003 推广DPLL和等式的可满足性。 Zbl 1121.68102号 巴哈雷赫巴德班;范德波尔（Jaco Van De Pol）;奥尔加·特维雷蒂纳;汉斯·赞特玛 三 2007 具有未解释函数的等式逻辑的判定过程。 Zbl 1109.68581号 奥尔加·特维雷蒂纳 2 2004 有序二元决策图、鸽子洞公式等。 Zbl 1221.68105号 奥尔加·特维雷蒂纳;卡斯滕·辛兹;汉斯·赞特玛 2 2010 等式逻辑的证明系统和判定过程。 Zbl 1196.03045号 奥尔加·特维雷蒂纳;汉斯·赞特玛 1 2004 Coq验证用混合系统的模块化开发。 Zbl 1143.68580号 米拉德·尼基;奥尔加·特维雷蒂纳 1 2008 可定向流形上分段常微分系统可达性的判定。 Zbl 07121145号 安德烈·桑德勒;奥尔加·特维雷蒂纳 1 2019 通过约束满足实现组件接口的非局部配置。 Zbl 1508.68404号 奥尔加·特维雷蒂纳;巴维尔·扎伊琴科夫;亚历克斯·沙法伦科 1 2020 通过约束满足实现组件接口的非局部配置。 Zbl 1508.68404号 奥尔加·特维雷蒂纳;帕维尔，扎伊琴科夫;亚历克斯·沙法伦科 1 2020 判定可定向流形上分段常微分系统的可达性。 Zbl 07121145号 安德烈·桑德勒;奥尔加·特维雷蒂纳 1 2019 有序二元决策图、鸽子洞公式等。 Zbl 1221.68105号 奥尔加·特维雷蒂纳;卡斯滕·辛兹;汉斯·赞特玛 2 2010 Coq验证用混合系统的模块化开发。 Zbl 1143.68580号 米拉德·尼基;奥尔加·特维雷蒂纳 1 2008 推广DPLL和等式的可满足性。 Zbl 1121.68102号 巴哈雷赫巴德班;范德波尔（Jaco Van De Pol）;奥尔加·特维雷蒂纳;汉斯·赞特玛 三 2007 具有未解释函数的等式逻辑的判定过程。 Zbl 1109.68581号 奥尔加·特维雷蒂纳 2 2004 等式逻辑的证明系统和判定过程。 Zbl 1196.03045号 奥尔加·特维雷蒂纳;汉斯·赞特玛 1 2004 一阶谓词逻辑的二进制决策图。 兹伯利1035.03012 格罗特，扬·弗里索;奥尔加·特维雷蒂纳 三 2003 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 4 奥尔加·特维雷蒂纳 2 罗尼·哈尔顿 2 汉斯·赞特玛 1 玛丽亚·阿克塞诺维奇（Maria A.Axenovich）。 1 巴哈雷赫巴德班 1 李·巴奈特（Lee A.Barnett）。 1 阿明·比尔 1 布莱恩，马丁 1 塞缪尔·R·巴斯。 1 德奥利维拉·奥利维拉，马特乌斯 1 维杰·迪尔瓦 1 阿尔贝托·格里乔 1 格罗特，扬·弗里索 1 利奥波德·哈勒 1 本杰明·赫斯科特。 1 Dmitry M.Itsykson。 1 萨科特·乔希 1 克里斯蒂安·凯斯廷 1 亚历山大·诺普 1 丹尼尔·科宁 1 马库斯·克鲁格 1 米拉德·尼基 1 乔治·奥桑 1 伊格纳斯·拉特 1 亚历克斯·沙法伦科 1 德米特里·索科列夫 1 范德波尔，扬·科内利斯 1 威瑟林克 1 巴维尔·扎伊琴科夫 5篇连载文章中引用 2 人工智能 1 离散应用数学 1 信息与计算 1 系统设计中的形式化方法 1 约束条件 在4个字段中引用 10 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 系统论；控制（93至XX） 按年份列出的引文