読み込んでいます...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
年間引用数
重複した引用
次の論文は Scholar 内で結合されています。
結合された引用
は、最初の論文のみがカウントされます。
結合された引用
この [引用先] の件数には Scholar 内の次の論文への引用も含まれています。
*
が付いた論文は、プロフィール内の論文とは異なる場合があります。
共著者を追加
共著者
フォロー
この著者の新しい論文
この著者からの新しい引用
この著者の研究に関連する新しい論文
通知を受け取るメールアドレス
完了
プロフィール
マイ ライブラリ
統計情報
アラート
設定
ログイン
ログイン
自分のプロフィールを作成
引用先
すべて
2019 年以来
引用
29
29
h 指標
2
2
i10 指標
1
1
0
10
5
2022
2023
2024
8
10
4
オープン アクセス
すべて表示
すべて表示
1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
Meena Mahajan
The Institute of Mathematical Sciences, (a CI of Homi Bhabha National Institute), Chennai, India
確認したメール アドレス: imsc.res.in
Marc Vinyals
University of Auckland
確認したメール アドレス: auckland.ac.nz
Yuval Filmus
Associate Professor, Technion
確認したメール アドレス: cs.technion.ac.il
Tomáš Peitl
TU Wien
確認したメール アドレス: ac.tuwien.ac.at
Olaf Beyersdorff
Professor of Theoretical Computer Science, Friedrich Schiller University Jena, Germany
確認したメール アドレス: uni-jena.de
Karunakaran Murali Krishnan
Department of Computer Science and Engineering, NIT Calicut
確認したメール アドレス: nitc.ac.in
フォロー
Gaurav Sood
Postdoctoral Fellow,
University of Haifa
, Israel
確認したメール アドレス: campus.haifa.ac.il
Computational Complexity
Proof Complexity
論文
引用先
オープン アクセス
共著者
タイトル
並べ替え
引用回数順
公開年順
タイトル順
引用先
引用先
年
Maxsat resolution and subcube sums
Y Filmus, M Mahajan, G Sood, M Vinyals
ACM Transactions on Computational Logic 24 (1), 1-27
, 2023
21
2023
Hard QBFs for merge resolution
O Beyersdorff, J Blinkhorn, M Mahajan, T Peitl, G Sood
ACM Transactions on Computation Theory 16 (2), 1-24
, 2024
6
2024
QBF Merge Resolution is powerful but unnatural
M Mahajan, G Sood
arXiv preprint arXiv:2205.13428
, 2022
2
2022
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices
G Sood, KM Krishnan
Theoretical Computer Science 885, 30-40
, 2021
2021
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–4
さらに表示
プライバシー
規約
ヘルプ
Google Scholar について
ヘルプを検索