×

找到32个文档（结果1-32）

最新的 引文 关联
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬

QBF分辨率的硬度特征和尺寸宽度下限。 （英语） Zbl 1498.03149号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机机械协会（ACM）。209-223 (2020).
MSC公司：20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机机械协会（ACM）。209--223（2020；Zbl 1498.03149）
全文： DOI程序
米纳·马哈扬

QBF证明系统的下限技术。 （英语） Zbl 1487.03067号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第2条，第8页（2018年）。
MSC公司：20层03 03立方厘米35 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}，LIPIcs——莱布尼茨国际程序。通知。96，第2条，第8页（2018；兹bl 1487.03067）
全文： DOI程序
米纳·马哈扬;Prajakta市Nimbhorkar;阿努吉·塔瓦里

使用\（\ min，+）\）公式计算最大值。 （英语） Zbl 1441.68043号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第74条，第11页（2017年）。
MSC公司：2006年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}等人，LIPIcs——莱布尼茨国际程序。通知。83，第74条，第11页（2017年；兹bl 1441.68043）
全文： DOI程序
米纳·马哈扬;阿努吉·塔瓦里

只读公式的总和：多少个总和就足够了？ （英语） Zbl 1382.68341号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：施普林格（ISBN 978-3-319-34170-5/pbk；978-3-3169-34171-2/电子书）。计算机科学讲座笔记9691266-279（2016）。
MSC公司：68瓦30 2005年12月 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}和\textit{A.Tawari}，莱克特。注释计算。科学。9691、266——279（2016年；Zbl 1382.68341）
全文： DOI程序 arXiv公司
米纳·马哈扬;尼廷·索拉布

代数复杂性理论中的一些完全多项式和中间多项式。 （英语） Zbl 1385.68018号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：施普林格（ISBN 978-3-319-34170-5/pbk；978-3-3169-34171-2/电子书）。计算机科学讲座笔记9691251-265（2016）。
MSC公司：65年第68季度 13第25页 2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}和\textit{N.Saurabh}，莱克特。注释计算。科学。9691，251--265（2016；Zbl 1385.68018）
全文： DOI程序 arXiv公司
奥拉夫·拜尔斯多夫;勒罗伊·周;米纳·马哈扬;阿尼尔·舒克拉

QBF分辨率计算的可行插值。 （英语） Zbl 1440.68320号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9134, 180-192 (2015).
MSC公司：68伏15 03立方厘米35 20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，Lect。注释计算。科学。9134、180--192（2015年；Zbl 1440.68320）
全文： DOI程序 arXiv公司
埃尔维·福尼尔;利马耶·努坦;米纳·马哈扬;斯里尼瓦桑，斯里坎思

初等对称多项式的移位偏导数复杂性。 （英语） Zbl 1466.68041号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9235, 324-335 (2015).
MSC公司：2017年第68季度 2006年第68季度 2015年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fournier}等人，莱克特。注释计算。科学。9235，324--335（2015；Zbl 1466.68041）
全文： DOI程序
阿诺·杜兰德;玛哈扬，米娜;纪尧姆·马洛德;尼古拉斯·德·鲁吉-阿尔特黑尔;尼廷·索拉布

VP的完全同态多项式。 （英语） Zbl 1360.68475号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，493-504（2014）。
MSC公司：2015年第68季度 05元50分 15甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand}等人，LIPIcs——莱布尼茨国际程序。通知。29493--504（2014年；Zbl 1360.68475）
全文： DOI程序
米纳·马哈扬;拉格汉德拉·拉奥（Raghavendra Rao，B.V.）。;卡提克Sreenivasaiah

构建以上只读多项式：身份测试和表示硬度。 （英语） Zbl 1351.68109号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08782-5/pbk）。计算机科学课堂讲稿8591，1-12（2014）。
MSC公司：2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}等人，Lect。注释计算。科学。8591，1--12（2014；Zbl 1351.68109）
全文： DOI程序
利马耶·努坦;米纳·马哈扬;卡提克Sreenivasaiah

一元子集和的复杂性。 （英语） Zbl 1295.68135号

Gudmundsson，Joachim（编辑）等人，《计算与组合学》。2012年8月20日至22日，澳大利亚悉尼，COCOON 2012，第18届国际年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32240-2/pbk）。《计算机科学讲义》7434158-469（2012）。
MSC公司：65年第68季度 2017年第68季度 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{N.Limaye}等人，Lect。注释计算。科学。7434、458--469（2012年；Zbl 1295.68135）
全文： DOI程序
萨米尔·达塔;拉加夫·库尔卡尼;利马耶·努坦;米纳·马哈扬

平面性、决定因素、永久性和（独特的）匹配。 （英语） Zbl 1322.05088号

ACM事务处理。计算。理论 第1条第3款第10条第20页（2010年）.
MSC公司：05元50分 05年10月 05C70号 15甲15 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Datta}等人，ACM Trans。计算。理论1，第3条，第10条，第20页（2010；Zbl 1322.05088）
全文： DOI程序
安德烈亚斯·克雷布斯;利马耶·努坦;米纳·马哈扬

#NC\（^｛1｝\）的VPA中的路径计数已完成。 （英语） 兹比尔1286.68201

Thai，My T.（编辑）等人，《计算与组合学》。第16届国际年会，COCOON 2010，越南芽庄，2010年7月19-21日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14030-3/pbk）。计算机科学课堂讲稿6196，44-53（2010）。
MSC公司：2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Krebs}等人，Lect。注释计算。科学。6196、44-53（2010年；Zbl 1286.68201）
全文： DOI程序
米纳·马哈扬;Prajakta市Nimbhorkar;卡斯图里瓦拉达拉詹

平面（k）-均值问题是NP-hard。 （英语） Zbl 1211.68212号

Das，Sandip（编辑）等人，WALCOM：算法和计算。第三次国际研讨会，WALCOM 2009，印度加尔各答，2009年2月18-20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00201-4/pbk）。计算机科学课堂讲稿5431274-285（2009）。
MSC公司：2017年第68季度 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}等人，Lect。注释计算。科学。5431274--285（2009年；Zbl 1211.68212）
全文： DOI程序
米纳·马哈扬;Sarma M.N.，贾亚拉尔

关于矩阵秩和刚度的复杂性。 （英语） Zbl 1188.68158号

Diekert，Volker（编辑）等人，《计算机科学——理论与应用》。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74509-9/pbk）。计算机科学课堂讲稿4649269-280（2007）。
MSC公司：65年第68季度 15甲15 2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Mahajan｝和\textit｛J.Sarma M.N.｝，Lect。注释计算。科学。4649，269--280（2007；Zbl 1188.68158）
全文： DOI程序
萨米尔·达塔;拉加夫·库尔卡尼;利马耶·努坦;米纳·马哈扬

平面性、行列式、永久性和（唯一）匹配。 （英语） Zbl 1188.68151号

Diekert，Volker（编辑）等人，《计算机科学——理论与应用》。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-740509-9/pbk）。《计算机科学讲义》464915-126（2007）。
MSC公司：2017年第68季度 05年10月 05元50分 05C70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Datta}等人，Lect。注释计算。科学。4649、115-126（2007年；Zbl 1188.68151）
全文： DOI程序 链接
哈立德·埃尔巴西尼;艾丽特·凯特里尔;马丁·库茨;米纳·马哈扬

同时匹配。 （英语） Zbl 1144.68336号

邓晓铁（编辑）等，《算法与计算》。2005年12月19日至21日，第16届国际学术研讨会，中国海南三亚，ISAAC 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30935-7/pbk）。计算机科学课堂讲稿3827106-115（2005）。
MSC公司：68兰特 05C70号 2017年第68季度 65年第68季度 68瓦25
PDF格式BibTeX公司 XML格式引用
\textit{K.Elbassioni}等人，Lect。注释计算。科学。3827、106-115（2005年；Zbl 1144.68336）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件