Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
A. Shukla
Observed names:
Anil Shukla,
Shukla, Anil
Institution:
Indian Institute of Technology Ropar
Observed institutions:
University of Delhi,
Gurukul Kangri Vishwavidyalaya,
Indian Institute of Technology Ropar,
Jagiellonian University,
University of Lucknow
ORCID:
0009-0009-9051-4374
Observed ORCID:
0009-0009-9051-4374
OpenAlex ID:
A5085359754
Extending Merge Resolution to a Family of QBF-Proof Systems
2026
·
Sravanthi Chede
, Anil Shukla
·
ACM Transactions on Computation Theory
·
1
MAGIKC: A Quantified MaxSAT Solver
2026
·
Chede, Sravanthi
, Krishan, Vaibhav
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
On Knowledge Compilation Languages for QBFs
2026
·
Chede, Sravanthi
, Krishan, Vaibhav
, et al.
·
arXiv (Cornell University)
PDF
TQTSolver
2026
·
Chede, Sravanthi
, Krishan, Vaibhav
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
On Proof Systems for #QBF
2026
·
Chede, Sravanthi
, Chew, Leroy
, et al.
·
arXiv (Cornell University)
PDF
On Proof Systems for #QBF (Short Paper)
2026
·
Chede, Sravanthi
, Chew, Leroy
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Energy differences in mirror nuclei with Nucleonic Promiscuity Factor
2025
·
A. K. Mishra
, V. Kumar
, et al.
·
Europhysics Letters (EPL)
Characteristics of Chiral Bandhead
2023
·
V. Kumar
, A. Shukla
, et al.
·
Acta Physica Polonica B
Influence of Collectivity on Reduced Hindrance Factor of \(K\)-isomers in Tantalum and Hafnium Isotopes
2023
·
Y.P. Singh
, V. Kumar
, et al.
·
Acta Physica Polonica B
Show more works
View as search
Works count:
11
Citation count:
2
H-index:
1
I10-index:
Year
Topic
Type
