编辑配置文件（在新选项卡中打开） 鲁齐卡皮斯卡 合著者距离 作者ID： 鲁齐卡鱼 发布日期： 鲁齐卡皮斯卡;俄罗斯皮斯卡 编入索引的文档： 16出版物自2001年起 2作为编辑的贡献 合著者： 20位合著者具有17联合出版物 407位合作作者 全部的 前5名合著者 1 单作者的 8 维克多·昆卡 三 托马斯·怀斯 2 尼古拉·S·比约纳。 2 马克·桑托卢西托 2 菲利普·苏特 1 Čaklović，拉沃斯拉夫 1 莱昂纳多·德·莫拉 1 康斯坦丁·埃纳 1 伯恩德·芬克贝纳 1 托马斯·希伦布兰德 1 费利克斯·克莱恩 1 朱利安·勒皮勒 1 麦克斯韦·列瓦提奇 1 菲利普·吕默 1 马丁·施瓦夫 1 Šego，维德兰 1 沙龙·肖姆 1 乌韦·沃尔德曼 1 克里斯托夫·韦登巴赫 1 夸特·叶塞诺夫 系列 2 计算机科学课堂讲稿 1 自动推理杂志 1 数学通信。补充 领域 16 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 数论（11-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用64中的次46文件 引用人▼ 年份▼ 使用DPLL和替换集有效地确定命题逻辑。 Zbl 1197.03011号 鲁齐卡皮斯卡;莱昂纳多·德·莫拉;尼古拉·比约纳 15 2010 将理论与共享集运算相结合。 兹比尔1193.03030 托马斯·怀斯;鲁齐卡皮斯卡;维克多·昆卡 12 2009 具有基数约束的多集决策过程。 Zbl 1138.68528号 鲁齐卡皮斯卡;维克多·昆卡 10 2008 带星星的线性算术。 Zbl 1155.68406号 鲁齐卡皮斯卡;维克多·昆卡 9 2008 集合、基数和关系。 Zbl 1273.03110号 夸特·叶塞诺夫;鲁齐卡皮斯卡;维克多·昆卡 4 2010 从搜索到计算：工作中的冗余标准和简化。 Zbl 1383.68076号 托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫 4 2013 数据结构演算中的有序集。 兹比尔1287.03073 维克多·昆卡;鲁齐卡皮斯卡;菲利普·苏特 三 2010 构建数据结构演算。 Zbl 1273.68100号 维克多·昆卡;鲁齐卡皮斯卡;菲利普·苏特;托马斯·怀斯 2 2010 具有基数边界的分数集合，以及带有星星的混合线性算术。 Zbl 1156.68475号 鲁齐卡皮斯卡;维克多·昆卡 1 2008 MUNCH–集合和多集合的自动推理器。 Zbl 1291.68367号 鲁齐卡皮斯卡;维克多·昆卡 1 2010 具有基数约束的集合和多集合的高效自动推理。 Zbl 07614503号 鲁齐卡皮斯卡 1 2020 已验证的软件。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。 Zbl 1400.68034号 1 2018 使用近似求解（\mathrm{LIA}^\star）。 Zbl 07228515号 麦克斯韦·列瓦提奇;尼古拉·比约纳;鲁齐卡皮斯卡;沙龙·肖姆 1 2020 具有基数约束的集合和多集合的高效自动推理。 Zbl 07614503号 鲁齐卡皮斯卡 1 2020 使用近似求解（\mathrm{LIA}^\star）。 Zbl 07228515号 麦克斯韦·列瓦提奇;尼古拉·比约纳;鲁齐卡皮斯卡;沙龙·肖姆 1 2020 已验证的软件。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。 Zbl 1400.68034号 1 2018 从搜索到计算：工作中的冗余标准和简化。 Zbl 1383.68076号 托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫 4 2013 使用DPLL和替换集有效地判定命题逻辑。 Zbl 1197.03011号 鲁齐卡皮斯卡;莱昂纳多·德·莫拉;尼古拉·比约纳 15 2010 集合、基数和关系。 Zbl 1273.03110号 夸特·叶塞诺夫;鲁齐卡皮斯卡;维克多·昆卡 4 2010 数据结构演算中的有序集。 Zbl 1287.03073号 维克多·昆卡;鲁齐卡皮斯卡;菲利普·苏特 三 2010 构建数据结构演算。 Zbl 1273.68100号 维克多·昆卡;鲁齐卡皮斯卡;菲利普·萨特;托马斯·怀斯 2 2010 MUNCH–集合和多集合的自动推理器。 Zbl 1291.68367号 鲁齐卡皮斯卡;维克多·昆卡 1 2010 将理论与共享集运算相结合。 Zbl 1193.03030号 托马斯·怀斯;鲁齐卡皮斯卡;维克多·昆卡 12 2009 具有基数约束的多集决策过程。 Zbl 1138.68528号 鲁齐卡皮斯卡;维克多·昆卡 10 2008 带星星的线性算术。 Zbl 1155.68406号 鲁齐卡皮斯卡;维克多·昆卡 9 2008 具有基数边界的分数集合，以及带有星星的混合线性算术。 Zbl 1156.68475号 鲁齐卡皮斯卡;维克多·昆卡 1 2008 所有引用出版物 前5名被引用出版物 全部的 前5名72位作者引用 7 维克多·昆卡 7 鲁齐卡皮斯卡 5 玛丽亚·保拉（Maria Paola Bonacina） 4 帕斯卡·方丹 4 克里斯托夫·韦登巴赫 2 弗朗西斯科·阿尔贝蒂 2 安妮迪亚·班纳吉 2 克拉克·W·巴雷特。 2 Paula Chocron 2 马克西米利亚诺·克里斯蒂亚 2 莱昂纳多·德·莫拉 2 西尔维奥·吉拉尔迪 2 埃琳娜·帕加尼 2 罗德里戈·拉亚 2 安德鲁·雷诺兹 2 克里斯托夫·林盖森 2 吉安弗兰科·罗西 2 塞萨尔·蒂内利 2 托马斯·怀斯 2 莎拉·温克勒 1 加博尔·阿拉吉 1 公寓，Krzysztof Rafal 1 卡洛斯·阿雷塞斯 1 尤金·亚萨林 1 克什蒂吉·班萨尔 1 尼古拉·S·比约纳。 1 乔恩·海尔·布伦纳斯 1 马丁·布罗姆伯格 1 魏恩根·钦 1 科恩·克莱森 1 安德烈亚·科斯蒂亚 1 克罗珀，安德鲁 1 瑞希德·埃哈希德 1 约塔姆·M·Y·费尔德曼。 1 托马斯·费雷尔 1 阿尔贝托·菲奥里 1 阿斯亚·弗鲁姆金 1 格雷斯，伯恩哈德 1 拉杜·奥西夫 1 科瓦奇，劳拉·伊尔迪科 1 安大略省Lhoták 1 安·利利斯特罗姆 1 克里斯托弗·林奇（Christopher A.Lynch）。 1 帕塔萨拉西马杜苏丹 1 亚历山大·马尔基斯 1 乌芒·马图尔 1 戴维·诺曼（David A.Naumann）。 1 德扬·尼科维奇 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 奥德·帕顿 1 大卫·艾伦（David Alan），Plaisted 1 西尔维奥·兰伊斯 1 雅各布·拉特 1 斯坦·罗森博格 1 穆利·萨吉夫 1 Shambwaditya萨哈 1 亚历杭德罗·桑切斯。 1 塞萨尔·桑切斯 1 阿布谢克·桑卡兰 1 塞尔维亚人，克里斯蒂娜 1 阿桑卡亚·夏尔马 1 沙龙·肖姆 1 罗宾·斯泰格 1 马丁·斯特雷克 1 托马斯·斯特姆 1 菲利普·苏特 1 索菲·托雷特 1 多根·乌卢斯 1 马赫什·维斯瓦纳坦 1 马可·沃伊格特 1 王胜毅 1 乔治·泽采 全部的 前5名10连载 10 自动推理杂志 2 符号计算杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 计算的形式方面 1 机器学习 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 42 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文